@misc{indiciae19d32c9ba950,
  title = {Automatic Generation of Guard-Stable Floating-Point Code},
  author = {Laura Titolo and Mariano Miguel Moscato and Marco A Feliu and Cesar A Munoz},
  url = {https://ntrs.nasa.gov/citations/20205003811},
  note = {Source identifier: 20205003811}
}