P.: Symbolic execution with separation logic (2005)

by J Berdine, C Calcagno, O’Hearn
Venue:APLAS 2005. LNCS