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

by J Berdine, C Calcagno, P O’Hearn
Venue:In FMCO