Sylvie Boldo Jean-Christophe Filliâtre Formal Verification of Floating-Point Programs. 187-194 2007 conf/arith/2007 IEEE Symposium on Computer Arithmetic http://doi.ieeecomputersociety.org/10.1109/ARITH.2007.20 db/conf/arith/arith2007.html#BoldoF07