Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London - Hearn - Document - PDFSEARCH.IO

First Page	Meta Content
	Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Add to Reading List Document Date: 2014-03-02 08:51:30 Open Document File Size: 225,39 KB Share Result on Facebook

Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of LondonAdd to Reading List