Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Sylvie Boldo — Author | Lex | Lex
S
Sylvie Boldo
2 works on record
Works
Numerical Software Verification
Computer Arithmetic and Formal Proofs