"Formally Verified Roundoff Errors Using SMT-based Certificates and ..."

Joachim Bard, Heiko Becker, Eva Darulova (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics