Jean-Christophe Filliatre

S. Boldo, J. -C. Filliatre, "Formal Verification of Floating-Point Programs", Proceedings of the 18^th IEEE Symposium on Computer Arithmetic, Montpellier, France, June 25-27, 2007