%0 Conference Paper %1 conf/ecoop/HeuleKMS13 %A Heule, Stefan %A Kassios, Ioannis T. %A Müller, Peter %A Summers, Alexander J. %B ECOOP %D 2013 %E Castagna, Giuseppe %I Springer %K dblp %P 451-476 %T Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2013.html#HeuleKMS13 %V 7920 %@ 978-3-642-39037-1

@inproceedings{conf/ecoop/HeuleKMS13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Heule, Stefan and Kassios, Ioannis T. and Müller, Peter and Summers, Alexander J.}, biburl = {https://www.bibsonomy.org/bibtex/2ae93bd6b0db89a99ed549901b1e2f394/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2013}, editor = {Castagna, Giuseppe}, ee = {https://doi.org/10.1007/978-3-642-39038-8_19}, interhash = {ce379492b0e63fd28b97f79cd20e4893}, intrahash = {ae93bd6b0db89a99ed549901b1e2f394}, isbn = {978-3-642-39037-1}, keywords = {dblp}, pages = {451-476}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:02:37.000+0200}, title = {Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2013.html#HeuleKMS13}, volume = 7920, year = 2013 }