Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. Heule, S., Kassios, I. T., Müller, P., & Summers, A. J. In ECOOP, pages 451-476, 2013.
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions [link]Link  bibtex   
@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}}

Downloads: 0