## Sylvie Boldo

*Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms*

IJCAR, 2006.

@inproceedings{IJCAR-2006-Boldo, author = "Sylvie Boldo", booktitle = "{Proceedings of the Third International Joint Conference on Automated Reasoning}", doi = "10.1007/11814771_6", isbn = "3-540-37187-7", pages = "52--66", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms}", volume = 4130, year = 2006, }