Verifying properties of well-founded linked lists (2005)

Cached

Download Links

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