%0 Conference Paper %1 conf/issta/GodefroidK10 %A Godefroid, Patrice %A Kinder, Johannes %B ISSTA %D 2010 %E Tonella, Paolo %E Orso, Alessandro %I ACM %K dblp %P 1-12 %T Proving memory safety of floating-point computations by combining static and dynamic program analysis. %U http://dblp.uni-trier.de/db/conf/issta/issta2010.html#GodefroidK10 %@ 978-1-60558-823-0

@inproceedings{conf/issta/GodefroidK10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Godefroid, Patrice and Kinder, Johannes}, biburl = {https://www.bibsonomy.org/bibtex/24c8212946e7e719c3365b56dc69716d9/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2010}, editor = {Tonella, Paolo and Orso, Alessandro}, ee = {https://doi.org/10.1145/1831708.1831710}, interhash = {71cf170f4e668f258fe7e4ff67ae6df6}, intrahash = {4c8212946e7e719c3365b56dc69716d9}, isbn = {978-1-60558-823-0}, keywords = {dblp}, pages = {1-12}, publisher = {ACM}, timestamp = {2018-11-07T13:03:34.000+0100}, title = {Proving memory safety of floating-point computations by combining static and dynamic program analysis.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2010.html#GodefroidK10}, year = 2010 }