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