Catherine Oriat
Recherche
Thèmes de recherche
Test
Test aléatoire de programmes Java : Outil Jartege
Inférence d'automates