BibTeX record conf/popl/HeizmannHP10

download as .bib file

@inproceedings{DBLP:conf/popl/HeizmannHP10,
  author    = {Matthias Heizmann and
               Jochen Hoenicke and
               Andreas Podelski},
  editor    = {Manuel V. Hermenegildo and
               Jens Palsberg},
  title     = {Nested interpolants},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
               2010},
  pages     = {471--482},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1706299.1706353},
  doi       = {10.1145/1706299.1706353},
  timestamp = {Mon, 16 Sep 2019 15:24:00 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/HeizmannHP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics