TY  - RPRT
TI  - Automatic Generation of Guard-Stable Floating-Point Code
AU  - Laura Titolo
AU  - Mariano Miguel Moscato
AU  - Marco A Feliu
AU  - Cesar A Munoz
UR  - https://ntrs.nasa.gov/citations/20205003811
ID  - 20205003811
ER  -