TY  - RPRT
TI  - Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis
AU  - Moscato, Mariano
AU  - Titolo, Laura
AU  - Dutle, Aaron
AU  - Munoz, Cesar A.
PY  - 2017
UR  - https://ntrs.nasa.gov/citations/20170009111
ID  - 20170009111
ER  -