Symbolic execution with separation logic (2005)

by J Berdine, C Calcagno, P O’Hearn
Venue:In APLAS 2005, volume 3780 of LNCS