"Combining Tools for Optimization and Analysis of Floating-Point Computations."

Heiko Becker et al. (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics