Multi-prover verification of floating-point programs (2010)

by A Ayad, C Marché
Venue:Fifth International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence