Smallfoot: Automatic modular assertion checking with separation logic (0)

by J Berdine, C Calcagno, P W 2005a O’Hearn
Venue:In Formal Methods for Components and Objects, 4th International Symposium, LNCS