TY  - RPRT
TI  - Reflow: From Real Number Specifications to Floating-Point Implementations
AU  - Laura Titolo
AU  - Mariano Moscato
AU  - Marco Feliu
AU  - Aaron Dutle
UR  - https://ntrs.nasa.gov/citations/20230007732
ID  - 20230007732
ER  -