Full functional verification of linked data structures (2008)

by Karen Zee, Viktor Kuncak, Martin Rinard
Venue:In PLDI 2008