@INPROCEEDINGS{DBLP:conf/fm/ScharagerCMP21,
pdf = {pub/QE-VSubst.pdf},
slides = {pub/QE-VSubst-slides.pdf},
study = {http://isa-afp.org/entries/Virtual_Substitution.html},
author = {Matias Scharager and
Katherine Cordwell and
Stefan Mitsch and
Andr\'{e} Platzer},
title = {Verified Quadratic Virtual Substitution for Real Arithmetic},
booktitle = {FM},
year = {2021},
pages = {200-217},
doi = {10.1007/978-3-030-90870-6_11},
editor = {Huisman, Marieke and
Pasareanu, Corina S. and
Zhan, Naijun},
longbooktitle = {FM 2021: Formal Methods},
longlongbooktitle = {Formal Methods - 24th International Symposium, {FM} 2021,
November 20-26, 2021, Proceedings},
publisher = {Springer},
series = {LNCS},
volume = {13047},
}```