Multi-Prover Verification of Floating-Point Programs (2010)

by A AYAD, C MARCHÉ
Venue:in "Fifth International Joint Conference on Automated Reasoning