Verifying properties of well-founded linked lists (2005)

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