TY  - RPRT
TI  - PRECiSA: a static analysis tool for floating-point programs
AU  - Laura Titolo
AU  - Mariano Moscato
AU  - Marco A. Feliu
AU  - Cesar A. Munoz
AU  - Paolo Masci
AU  - Aaron Dutle
UR  - https://ntrs.nasa.gov/citations/20220008765
ID  - 20220008765
ER  -