Sylvie Boldo

• Computer Arithmetic and Formal Proofs
• Numerical Software Verification