Sylvie Boldo 1, 2 AuthorId : 833201 Author IdHAL : sboldo
Computer Science [cs] / Logic in Computer Science [cs.LO] Computer Science [cs] / Programming Languages [cs.PL]
INRIA | UMR8623 | CNRS | INRIA-MECSCI