Automatic Generation of Guard-Stable Floating-Point Code
Nov 17, 2020·,,,·
0 min read
Laura Titolo
Mariano M. Moscato
Marco A. Feliú
And César A. Muñoz:
Type
Publication
In Proceedings of the 16th International Conference on Integrated Formal Methods, (iFM 2020)