Full functional verification of linked data structures (2008)

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