Formal verification of floating-point programs (0)

by S Boldo, J Filliâtre
Venue:in ARITH. IEEE, 2007