Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) (English Edition)

Name: Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) (English Edition)
Author: Sylvie Boldo, Guillaume Melquiond