"Multi-Prover Verification of Floating-Point Programs."

Ali Ayad, Claude Marché (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics