APA Citation

Boldo, S., & Melquiond, G. Computer arithmetic and formal proofs: Verifying floating-point algorithms with the Coq system.

Chicago Style Citation

Boldo, Sylvie, and Guillaume Melquiond. Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms With the Coq System.

MLA Citation

Boldo, Sylvie, and Guillaume Melquiond. Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms With the Coq System.

Warning: These citations may not always be 100% accurate.