@misc{indiciae48ce5fdf25b5,
  title = {Rigorous Floating-Point Round-Off Error Analysis with PRECiSA 4.0},
  author = {Laura Titolo},
  url = {https://ntrs.nasa.gov/citations/20240008984},
  note = {Source identifier: 20240008984}
}