BibTeX record conf/fm/ScharagerCMP21

download as .bib file

@inproceedings{DBLP:conf/fm/ScharagerCMP21,
  author    = {Matias Scharager and
               Katherine Cordwell and
               Stefan Mitsch and
               Andr{\'{e}} Platzer},
  editor    = {Marieke Huisman and
               Corina S. Pasareanu and
               Naijun Zhan},
  title     = {Verified Quadratic Virtual Substitution for Real Arithmetic},
  booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
               Event, November 20-26, 2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13047},
  pages     = {200--217},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-90870-6\_11},
  doi       = {10.1007/978-3-030-90870-6\_11},
  timestamp = {Sat, 25 Dec 2021 15:52:37 +0100},
  biburl    = {https://dblp.org/rec/conf/fm/ScharagerCMP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics