@misc{indiciaeac1b7c336d32,
  title = {Reflow: From Real Number Specifications to Floating-Point Implementations},
  author = {Laura Titolo},
  url = {https://ntrs.nasa.gov/citations/20230006470},
  note = {Source identifier: 20230006470}
}