Automatic Generation of Guard-Stable Floating-Point Code

von Feliu,, Laura Titolo, Mariano Moscato, Marco A.
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)