DMCA
Full functional verification of linked data structures (2008)
Cached
Download Links
by
Karen Zee
,
Viktor Kuncak
,
Martin C. Rinard
Venue: | In ACM Conf. Programming Language Design and Implementation (PLDI |
Citations: | 101 - 19 self |