Full functional verification of linked data structures (2008)

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