Floating-point algorithms and formal proofs : a didactic tour with Coq /: a didactic tour with Coq. (2016) - Boldo, Sylvie; Melquiond, Guillaume
No abstract available