Why Separation Logic Works
Crossref DOI link: https://doi.org/10.1007/s13347-018-0312-8
Published Online: 2018-05-22
Published Print: 2019-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pym, David
Spring, Jonathan M. http://orcid.org/0000-0001-9356-219X
O’Hearn, Peter
Funding for this research was provided by:
University College London (ORS / GRS)
Text and Data Mining valid from 2018-05-22
Article History
Received: 10 February 2017
Accepted: 9 April 2018
First Online: 22 May 2018