%0 Conference Paper %1 conf/vstte/DrossK21 %A Dross, Claire %A Kanig, Johannes %B VSTTE %D 2021 %E Bloem, Roderick %E Dimitrova, Rayna %E Fan, Chuchu %E Sharygina, Natasha %I Springer %K dblp %P 7-24 %T Making Proofs of Floating-Point Programs Accessible to Regular Developers. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2021.html#DrossK21 %V 13124 %@ 978-3-030-95561-8

@inproceedings{conf/vstte/DrossK21, added-at = {2022-02-25T00:00:00.000+0100}, author = {Dross, Claire and Kanig, Johannes}, biburl = {https://www.bibsonomy.org/bibtex/22d69ecadee196b4169d19dff07c454a6/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2021}, editor = {Bloem, Roderick and Dimitrova, Rayna and Fan, Chuchu and Sharygina, Natasha}, ee = {https://doi.org/10.1007/978-3-030-95561-8_2}, interhash = {ae9763e2459f19d5883f28af1158572a}, intrahash = {2d69ecadee196b4169d19dff07c454a6}, isbn = {978-3-030-95561-8}, keywords = {dblp}, pages = {7-24}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:58:28.000+0200}, title = {Making Proofs of Floating-Point Programs Accessible to Regular Developers.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2021.html#DrossK21}, volume = 13124, year = 2021 }