HAL-Inria | Les publications, logiciels... des scientifiques Inria |
Howard Cheng 1
Auteur Etablissement employeur : University of Lethbridge
Guillaume Hanrot 2
Auteur Etablissement employeur : Institut National de Recherche en Informatique et en Automatique
Emmanuel Thomé 2
Auteur correspondant Etablissement employeur : Institut National de Recherche en Informatique et en Automatique
Eugene Zima 3
Auteur
Paul Zimmermann 2
Auteur Etablissement employeur : Institut National de Recherche en Informatique et en Automatique IdHAL : paul-zimmermann
INRIA | LORIA | UNIV-LORRAINE