Smallfoot: Modular automatic assertion checking with separation logic. (2005)

by J Berdine, C Calcagno, P W O’Hearn
Venue:Formal Methods for Components and Objects,