Multi-Prover Verification of Floating-Point Programs.

Ali Ayad, Claude March

Browse the full CADE paper archive.