Title : The pitfalls of verifying floating-point computations

Authors : David Monniaux

Journal : CoRR

Year : 2007

http://arxiv.org/abs/cs/0701192