%0 Conference Paper %1 conf/vstte/GarciaMR20 %A Garcia, Rémy %A Michel, Claude %A Rueher, Michel %B VSTTE %D 2020 %E Christakis, Maria %E Polikarpova, Nadia %E Duggirala, Parasara Sridhar %E Schrammel, Peter %I Springer %K dblp %P 196-212 %T Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2020.html#GarciaMR20 %V 12549 %@ 978-3-030-63618-0

@inproceedings{conf/vstte/GarciaMR20, added-at = {2020-12-10T00:00:00.000+0100}, author = {Garcia, Rémy and Michel, Claude and Rueher, Michel}, biburl = {https://www.bibsonomy.org/bibtex/28f92cd9f88ad8ca0f44214bc65c2d29f/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2020}, editor = {Christakis, Maria and Polikarpova, Nadia and Duggirala, Parasara Sridhar and Schrammel, Peter}, ee = {https://doi.org/10.1007/978-3-030-63618-0_12}, interhash = {7bc66a3171004110a2d02804be14c07e}, intrahash = {8f92cd9f88ad8ca0f44214bc65c2d29f}, isbn = {978-3-030-63618-0}, keywords = {dblp}, pages = {196-212}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:58:28.000+0200}, title = {Rigorous Enclosure of Round-Off Errors in Floating-Point Computations.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2020.html#GarciaMR20}, volume = 12549, year = 2020 }