%0 Conference Paper %1 conf/fm/ScharagerCMP21 %A Scharager, Matias %A Cordwell, Katherine %A Mitsch, Stefan %A Platzer, André %B FM %D 2021 %E Huisman, Marieke %E Pasareanu, Corina S. %E Zhan, Naijun %I Springer %K dblp %P 200-217 %T Verified Quadratic Virtual Substitution for Real Arithmetic. %U http://dblp.uni-trier.de/db/conf/fm/fm2021.html#ScharagerCMP21 %V 13047 %@ 978-3-030-90870-6

@inproceedings{conf/fm/ScharagerCMP21, added-at = {2021-12-25T00:00:00.000+0100}, author = {Scharager, Matias and Cordwell, Katherine and Mitsch, Stefan and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/272ce125064997ee62b506ab7c5be2a5a/dblp}, booktitle = {FM}, crossref = {conf/fm/2021}, editor = {Huisman, Marieke and Pasareanu, Corina S. and Zhan, Naijun}, ee = {https://doi.org/10.1007/978-3-030-90870-6_11}, interhash = {da93da16d6ab5de99dc0de216bacc217}, intrahash = {72ce125064997ee62b506ab7c5be2a5a}, isbn = {978-3-030-90870-6}, keywords = {dblp}, pages = {200-217}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {Verified Quadratic Virtual Substitution for Real Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2021.html#ScharagerCMP21}, volume = 13047, year = 2021 }