TY  - RPRT
TI  - PRECiSA: From Real Specifications to Floating-point Implementations
AU  - Laura Titolo
AU  - Mariano Moscato
AU  - Marco Feliu
UR  - https://ntrs.nasa.gov/citations/20220012051
ID  - 20220012051
ER  -