%0 Conference Paper %1 conf/safecomp/MoscatoTDM17 %A Moscato, Mariano M. %A Titolo, Laura %A Dutle, Aaron %A Muñoz, César A. %B SAFECOMP %D 2017 %E Tonetta, Stefano %E Schoitsch, Erwin %E Bitsch, Friedemann %I Springer %K dblp %P 213-229 %T Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2017.html#MoscatoTDM17 %V 10488 %@ 978-3-319-66266-4

@inproceedings{conf/safecomp/MoscatoTDM17, added-at = {2017-08-29T00:00:00.000+0200}, author = {Moscato, Mariano M. and Titolo, Laura and Dutle, Aaron and Muñoz, César A.}, biburl = {https://www.bibsonomy.org/bibtex/2c7150f4422e80d9efc18eb1c8cd71808/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2017}, editor = {Tonetta, Stefano and Schoitsch, Erwin and Bitsch, Friedemann}, ee = {https://doi.org/10.1007/978-3-319-66266-4_14}, interhash = {b27eaa5d3f2c95da1e07925c38183dbe}, intrahash = {c7150f4422e80d9efc18eb1c8cd71808}, isbn = {978-3-319-66266-4}, keywords = {dblp}, pages = {213-229}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:36:28.000+0200}, title = {Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2017.html#MoscatoTDM17}, volume = 10488, year = 2017 }