Antoine Miné a rédigé la thèse suivante :


Antoine Miné a dirigé la thèse suivante :


Antoine Miné a été rapporteur des 4 thèses suivantes :

Informatique. Modélisation et vérification
Soutenue le 10-09-2018
Thèse soutenue

Informatique
Soutenue le 02-12-2016
Thèse soutenue


Antoine Miné a été membre de jury des 2 thèses suivantes :

Informatique
Soutenue le 28-06-2018
Thèse soutenue