TY  - RPRT
TI  - A Mixed Real and Floating-Point Solver
AU  - Salvia, Rocco
AU  - Titolo, Laura
AU  - Feliu, Marco A.
AU  - Moscato, Mariano M.
AU  - Munoz, Cesar A.
AU  - Rakamaric, Zvonimir
PY  - 2019
UR  - https://ntrs.nasa.gov/citations/20200002683
ID  - 20200002683
ER  -