Title : The Pitfalls of Verifying Floating-point Computations

Authors : Monniaux, David

Journal : ACM Trans. Program. Lang. Syst.

Year : 2008

http://doi.acm.org/10.1145/1353445.1353446