Full functional verification of linked data structures (0)

by K Zee, V Kuncak, M C Rinard
Venue:In PLDI. Pp. 349–361. 2008. 17 / 17 Volume 23 (2009