Hardware-independant proofs of numerical programs (2010)

by S Boldo, T M T Nguyen
Venue:In NASA Formal Methods Symposium