@misc{indiciae1c5bcf7c0ba9,
  title = {Taming Floating-point Errors in Avionics Applications at NASA},
  author = {Laura Titolo},
  url = {https://ntrs.nasa.gov/citations/20240008964},
  note = {Source identifier: 20240008964}
}