TY  - RPRT
TI  - An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
AU  - Titolo, Laura
AU  - Feliu, Marco A.
AU  - Moscato, Mariano
AU  - Munoz, Cesar A.
PY  - 2018
UR  - https://ntrs.nasa.gov/citations/20180006290
ID  - 20180006290
ER  -