TY  - BOOK
AU  - Boldo,Sylvie
AU  - Melquiond,Guillaume
TI  - Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system 
SN  - 9781785481123
PY  - 2017///
CY  - London, UK
PB  - Elsevier
KW  - Computer arithmetic
KW  - Floating-point arithmetic
N1  - Includes bibliographical references and index
ER  -