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 - Essays Dedicated to Arnd Poetzsch-Heffter
               on the Occasion of his 60th Birthday},
  pages     = {185--202},
  year      = {2018},
  crossref  = {DBLP:conf/birthday/2018poetzsch},
  url       = {https://doi.org/10.1007/978-3-319-98047-8\_12},
  doi       = {10.1007/978-3-319-98047-8\_12},
  timestamp = {Wed, 31 Oct 2018 17:56:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/LeinoM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018poetzsch,
  editor    = {Peter M{\"{u}}ller and
               Ina Schaefer},
  title     = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
               on the Occasion of his 60th Birthday},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-98047-8},
  doi       = {10.1007/978-3-319-98047-8},
  isbn      = {978-3-319-98046-1},
  timestamp = {Wed, 31 Oct 2018 17:54:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2018poetzsch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics