Verifying properties of well-founded linked lists (2005)

Cached

Download Links

by Shuvendu K. Lahiri , Shaz Qadeer
Citations:44 - 5 self