BibTeX record conf/popl/Blazy15

download as .bib file

@inproceedings{DBLP:conf/popl/Blazy15,
  author       = {Sandrine Blazy},
  title        = {Formal verification of compilers and static analyzers},
  booktitle    = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
                  2015, Mumbai, India, January 14, 2015},
  pages        = {9:1},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2792434.2792443},
  doi          = {10.1145/2792434.2792443},
  timestamp    = {Wed, 25 Sep 2019 18:04:49 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/Blazy15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}