Separation logic tutorial (2008)

by Peter W O’Hearn
Venue:In ICLP