Alessandro Abate 1 AuthorId : 1697420 Author Employer institution : University of Oxford [Oxford]
Sylvie Boldo 2 AuthorId : 833201 Author IdHAL : sboldo
Computer Science [cs] / Computer Arithmetic Computer Science [cs] / Numerical Analysis [cs.NA] Computer Science [cs] / Logic in Computer Science [cs.LO]
CNRS | INRIA | CENTRALESUPELEC | UMR8623 | LRI-VALS