Sylvie Boldo 1 AuthorId : 833201 Author IdHAL : sboldo
Guillaume Melquiond 1 AuthorId : 739835 Author IdHAL : guillaume-melquiond
Computer Science [cs] / Logic in Computer Science [cs.LO] Computer Science [cs] / Computer Arithmetic
CNRS | INRIA | UMR8623 | LRI-VALS