@misc{indiciae23144b8c2695,
  title = {VSCode-PRECiSA: a Toolkit for Floating-Point Round-Off Error Analysis},
  author = {Paolo Masci and Laura Titolo and Mariano Moscato and Marco A. Feliu and Aaron Dutle},
  url = {https://ntrs.nasa.gov/citations/20220009909},
  note = {Source identifier: 20220009909}
}