Full functional verification of linked data structures (2008)

by K Zee, V Kuncak, M Rinard
Venue:In ACM Conference on Programming Languages Design and Implementation