David Monniaux. The pitfalls of verifying floating-point computations. ACM Transactions on Programming Languages and Systems, 30(3), 2008. [doi]
@article{Monniaux08, title = {The pitfalls of verifying floating-point computations}, author = {David Monniaux}, year = {2008}, doi = {10.1145/1353445.1353446}, url = {http://doi.acm.org/10.1145/1353445.1353446}, researchr = {https://researchr.org/publication/Monniaux08}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {30}, number = {3}, }