J.C.: Formal Verification of Floating-Point Programs (2007)

by S Boldo, Filliâtre
Venue:In: 18th IEEE International Symposium on Computer Arithmetic