Sylvie Boldo profile picture

Sylvie Boldo

Is this your author profile? Create an account to customize it!

Stand Alone

2019 IEEE 26th Symposium on Computer Arithmetic (ARITH)
Numerical Software Verification