LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
https://hal.inria.fr/hal-01063853
Contributeur : Jean-Christophe Filliâtre
<>
Soumis le : dimanche 14 septembre 2014 - 14:28:47
Dernière modification le : jeudi 5 avril 2018 - 12:30:22