Sylvie Boldo · 2 obras en el catálogoObrasNumerical Software VerificationComputer Arithmetic and Formal Proofs