Verifying properties of well-founded linked lists.

Shuvendu K. Lahiri, Shaz Qadeer

Browse the full POPL paper archive.