TY  - RPRT
TI  - Rigorous Floating-Point Round-Off Error Analysis with PRECiSA 4.0
AU  - Laura Titolo
UR  - https://ntrs.nasa.gov/citations/20240008984
ID  - 20240008984
ER  -