Related references
Note: Only part of the references are listed.
Article
Computer Science, Software Engineering
The pitfalls of verifying floating-point computations
David Monniaux
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (2008)