Sylvie Boldo

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System	978-1-78548-112-3 (1-78548-112-6)	2017	Guillaume Melquiond