P.W.: Symbolic execution with separation logic (0)

by J Berdine, C Calcagno, O’Hearn
Venue:In: APLAS (2005