Full functional verification of linked data structures (2008)

by Karen Zee , Viktor Kuncak , Martin C. Rinard
Venue:In ACM Conf. Programming Language Design and Implementation (PLDI
Citations:83 - 17 self