A Mixed Real and Floating-Point Solver

Rocco Salvia, Laura Titolo, Marco A. Feliu, Mariano M. Moscato, César A. Muñoz, and Zvonimir Rakamaric
May 2019
PDF Cite Project DOI
Type
Conference paper
Publication
In Proceedings of the 11th NASA International Symposium on Formal Methods, (NFM 2019)