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:100 - 19 self