Full functional verification of linked data structures. (2008)

by K Zee, V Kuncak, M Rinard
Venue:In PLDI ’08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation,