@misc{indiciae09ba485a31f5,
  title = {An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs},
  author = {Titolo, Laura and Feliu, Marco A. and Moscato, Mariano and Munoz, Cesar A.},
  year = {2018},
  url = {https://ntrs.nasa.gov/citations/20180006290},
  note = {Source identifier: 20180006290}
}