%0 Conference Paper %1 conf/birthday/LeinoM18 %A Leino, K. Rustan M. %A Matichuk, Daniel %B Principled Software Development %D 2018 %E Müller, Peter %E Schaefer, Ina %I Springer %K %P 185-202 %T Modular Verification Scopes via Export Sets and Translucent Exports. %U http://dblp.uni-trier.de/db/conf/birthday/poetzsch2018.html#LeinoM18 %@ 978-3-319-98047-8

@inproceedings{conf/birthday/LeinoM18, added-at = {2023-12-13T02:14:32.000+0100}, author = {Leino, K. Rustan M. and Matichuk, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/299dd21aaa30eee514159c9a321652d5b/admin}, booktitle = {Principled Software Development}, crossref = {conf/birthday/2018poetzsch}, editor = {Müller, Peter and Schaefer, Ina}, ee = {https://doi.org/10.1007/978-3-319-98047-8_12}, interhash = {7cad59481f5c27cb85c9132bf6ebde1d}, intrahash = {99dd21aaa30eee514159c9a321652d5b}, isbn = {978-3-319-98047-8}, keywords = {}, pages = {185-202}, publisher = {Springer}, timestamp = {2023-12-13T02:14:32.000+0100}, title = {Modular Verification Scopes via Export Sets and Translucent Exports.}, url = {http://dblp.uni-trier.de/db/conf/birthday/poetzsch2018.html#LeinoM18}, year = 2018 }