%0 Conference Paper %1 conf/cpp/SlagelWD21 %A Slagel, J. Tanner %A White, Lauren %A Dutle, Aaron %B CPP %D 2021 %E Hritcu, Catalin %E Popescu, Andrei %I ACM %K dblp %P 278-290 %T Formal verification of semi-algebraic sets and real analytic functions. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2021.html#SlagelWD21 %@ 978-1-4503-8299-1

@inproceedings{conf/cpp/SlagelWD21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Slagel, J. Tanner and White, Lauren and Dutle, Aaron}, biburl = {https://www.bibsonomy.org/bibtex/2ece2b2130603102ae13f567ad115faa7/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2021}, editor = {Hritcu, Catalin and Popescu, Andrei}, ee = {https://doi.org/10.1145/3437992.3439933}, interhash = {5157fdf2c8eb985e1e0a83cbac5f5d31}, intrahash = {ece2b2130603102ae13f567ad115faa7}, isbn = {978-1-4503-8299-1}, keywords = {dblp}, pages = {278-290}, publisher = {ACM}, timestamp = {2024-04-09T22:48:42.000+0200}, title = {Formal verification of semi-algebraic sets and real analytic functions.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2021.html#SlagelWD21}, year = 2021 }