Symbolic Execution with Separation Logic (0)

by J Berdine, C Calcagno, P W O’Hearn
Venue:APLAS