Document is current

Any future updates will be listed below

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

Crossref DOI link: https://doi.org/10.1007/978-3-319-73721-8_24

Published Online: 2017-12-29

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

About CrossMark