@inproceedings{DBLP:conf/ecoop/HeuleKMS13,
	Author = {Stefan Heule and Ioannis T. Kassios and Peter M{\"u}ller and Alexander J. Summers},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ECOOP},
	Crossref = {DBLP:conf/ecoop/2013},
	Ee = {http://dx.doi.org/10.1007/978-3-642-39038-8_19},
	Pages = {451-476},
	Title = {Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions},
	Year = {2013}}

{"_id":"pb8gQM79ATcbsNe5P","bibbaseid":"heule-kassios-mller-summers-verificationconditiongenerationforpermissionlogicswithabstractpredicatesandabstractionfunctions-2013","authorIDs":[],"author_short":["Heule, S.","Kassios, I. T.","Müller, P.","Summers, A. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefan"],"propositions":[],"lastnames":["Heule"],"suffixes":[]},{"firstnames":["Ioannis","T."],"propositions":[],"lastnames":["Kassios"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Müller"],"suffixes":[]},{"firstnames":["Alexander","J."],"propositions":[],"lastnames":["Summers"],"suffixes":[]}],"bibsource":"DBLP, http://dblp.uni-trier.de","booktitle":"ECOOP","crossref":"DBLP:conf/ecoop/2013","ee":"http://dx.doi.org/10.1007/978-3-642-39038-8_19","pages":"451-476","title":"Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions","year":"2013","bibtex":"@inproceedings{DBLP:conf/ecoop/HeuleKMS13,\n\tAuthor = {Stefan Heule and Ioannis T. Kassios and Peter M{\\\"u}ller and Alexander J. Summers},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {ECOOP},\n\tCrossref = {DBLP:conf/ecoop/2013},\n\tEe = {http://dx.doi.org/10.1007/978-3-642-39038-8_19},\n\tPages = {451-476},\n\tTitle = {Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions},\n\tYear = {2013}}\n\n","author_short":["Heule, S.","Kassios, I. T.","Müller, P.","Summers, A. J."],"key":"DBLP:conf/ecoop/HeuleKMS13","id":"DBLP:conf/ecoop/HeuleKMS13","bibbaseid":"heule-kassios-mller-summers-verificationconditiongenerationforpermissionlogicswithabstractpredicatesandabstractionfunctions-2013","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-39038-8_19"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.619Z","downloads":0,"keywords":[],"search_terms":["verification","condition","generation","permission","logics","abstract","predicates","abstraction","functions","heule","kassios","müller","summers"],"title":"Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions","year":2013,"dataSources":["7Z8XEkSJX2s636QcA"]}