TY  - BOOK
AU  - Boldo, Sylvie
TI  - Computer Arithmetic and Formal Proofs
SN  - 9781785481123
PY  - 2018///
CY  - Elsevier
PB  - Elsevier
UR  - https://www.sciencedirect.com/science/book/9781785481123
ER  -