@misc{indiciae4ff15d5f81af,
  title = {PRECiSA: From Real Specifications to Floating-point Implementations},
  author = {Laura Titolo and Mariano Moscato and Marco Feliu},
  url = {https://ntrs.nasa.gov/citations/20220012051},
  note = {Source identifier: 20220012051}
}