@inproceedings{ParkinsonBO07,
	Author = {M.J. Parkinson and R. Bornat and P.W. O'Hearn},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {POPL},
	Crossref = {DBLP:conf/popl/2007},
	Ee = {http://doi.acm.org/10.1145/1190216.1190261},
	Pages = {297-302},
	Title = {Modular verification of a non-blocking stack},
	Year = {2007}}

{"_id":"Hm2DWAFkJngtaPXxk","bibbaseid":"parkinson-bornat-ohearn-modularverificationofanonblockingstack-2007","authorIDs":[],"author_short":["Parkinson, M.","Bornat, R.","O'Hearn, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["M.J."],"propositions":[],"lastnames":["Parkinson"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Bornat"],"suffixes":[]},{"firstnames":["P.W."],"propositions":[],"lastnames":["O'Hearn"],"suffixes":[]}],"bibsource":"DBLP, http://dblp.uni-trier.de","booktitle":"POPL","crossref":"DBLP:conf/popl/2007","ee":"http://doi.acm.org/10.1145/1190216.1190261","pages":"297-302","title":"Modular verification of a non-blocking stack","year":"2007","bibtex":"@inproceedings{ParkinsonBO07,\n\tAuthor = {M.J. Parkinson and R. Bornat and P.W. O'Hearn},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {POPL},\n\tCrossref = {DBLP:conf/popl/2007},\n\tEe = {http://doi.acm.org/10.1145/1190216.1190261},\n\tPages = {297-302},\n\tTitle = {Modular verification of a non-blocking stack},\n\tYear = {2007}}\n\n","author_short":["Parkinson, M.","Bornat, R.","O'Hearn, P."],"key":"ParkinsonBO07","id":"ParkinsonBO07","bibbaseid":"parkinson-bornat-ohearn-modularverificationofanonblockingstack-2007","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/1190216.1190261"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.558Z","downloads":0,"keywords":[],"search_terms":["modular","verification","non","blocking","stack","parkinson","bornat","o'hearn"],"title":"Modular verification of a non-blocking stack","year":2007,"dataSources":["7Z8XEkSJX2s636QcA"]}