Verifying Properties of WellFounded Linked Lists (0)

by S K Lahiri, S Qadeer
Venue:In Proceedings of POPL 2006, ACM