Author

Sylvie Boldo

2 books found

Cover of Computer Arithmetic and Formal Proofs

Computer Arithmetic and Formal Proofs

Sylvie Boldo, Guillaume Melquiond · First published 2017

Cover of Numerical Software Verification

Numerical Software Verification

Alessandro Abate, Sylvie Boldo · First published 2017