BibTeX record conf/birthday/LeinoM18

download as .bib file

@inproceedings{DBLP:conf/birthday/LeinoM18,
  author    = {K. Rustan M. Leino and
               Daniel Matichuk},
  title     = {Modular Verification Scopes via Export Sets and Translucent Exports},
  booktitle = {Principled Software Development},
  pages     = {185--202},
  publisher = {Springer},
  year      = {2018}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics