BibTeX record conf/ppdp/0002BMMZ19

download as .bib file

@inproceedings{DBLP:conf/ppdp/0002BMMZ19,
  author    = {Christopher Brown and
               Adam D. Barwell and
               Yoann Marquer and
               C{\'{e}}line Minh and
               Olivier Zendra},
  title     = {Type-Driven Verification of Non-functional Properties},
  booktitle = {Proceedings of the 21st International Symposium on Principles and
               Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
               7-9, 2019},
  pages     = {6:1--6:15},
  year      = {2019},
  crossref  = {DBLP:conf/ppdp/2019},
  url       = {https://doi.org/10.1145/3354166.3354171},
  doi       = {10.1145/3354166.3354171},
  timestamp = {Thu, 26 Sep 2019 14:23:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/0002BMMZ19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2019,
  editor    = {Ekaterina Komendantskaya},
  title     = {Proceedings of the 21st International Symposium on Principles and
               Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
               7-9, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3354166},
  doi       = {10.1145/3354166},
  isbn      = {978-1-4503-7249-7},
  timestamp = {Thu, 26 Sep 2019 14:21:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics