@inproceedings{DBLP:conf/popl/ParkinsonB05,
	Author = {M. J. Parkinson and G. M. Bierman},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {POPL},
	Crossref = {DBLP:conf/popl/2005},
	Pages = {247-258},
	Title = {Separation logic and abstraction},
	Year = {2005}}

{"_id":"HrEdfbsmGnFme4y9P","bibbaseid":"parkinson-bierman-separationlogicandabstraction-2005","authorIDs":[],"author_short":["Parkinson, M. J.","Bierman, G. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["M.","J."],"propositions":[],"lastnames":["Parkinson"],"suffixes":[]},{"firstnames":["G.","M."],"propositions":[],"lastnames":["Bierman"],"suffixes":[]}],"bibsource":"DBLP, http://dblp.uni-trier.de","booktitle":"POPL","crossref":"DBLP:conf/popl/2005","pages":"247-258","title":"Separation logic and abstraction","year":"2005","bibtex":"@inproceedings{DBLP:conf/popl/ParkinsonB05,\n\tAuthor = {M. J. Parkinson and G. M. Bierman},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {POPL},\n\tCrossref = {DBLP:conf/popl/2005},\n\tPages = {247-258},\n\tTitle = {Separation logic and abstraction},\n\tYear = {2005}}\n\n","author_short":["Parkinson, M. J.","Bierman, G. M."],"key":"DBLP:conf/popl/ParkinsonB05","id":"DBLP:conf/popl/ParkinsonB05","bibbaseid":"parkinson-bierman-separationlogicandabstraction-2005","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.544Z","downloads":0,"keywords":[],"search_terms":["separation","logic","abstraction","parkinson","bierman"],"title":"Separation logic and abstraction","year":2005,"dataSources":["7Z8XEkSJX2s636QcA"]}