@misc{indiciaeae3db4b8cdb0,
  title = {Reflow: From Real Number Specifications to Floating-Point Implementations},
  author = {Laura Titolo and Mariano Moscato and Marco Feliu and Aaron Dutle},
  url = {https://ntrs.nasa.gov/citations/20230007732},
  note = {Source identifier: 20230007732}
}