Sylvie Boldo, Guillaume Melquiond. Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System. ISTE Press, 2017. [doi]
@book{0041425,
title = {Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System},
author = {Sylvie Boldo and Guillaume Melquiond},
year = {2017},
url = {https://www.elsevier.com/books/computer-arithmetic-and-formal-proofs/boldo/978-1-78548-112-3},
researchr = {https://researchr.org/publication/0041425},
cites = {0},
citedby = {0},
publisher = {ISTE Press},
isbn = {978-1-7854-8112-3},
}