Nouveau docteur
10 décembre 2014 Laisser un commentaire
Félicitations à Dimitris Vekris, qui vient de passer avec succès sa soutenance de thèse, sur le sujet suivant : Vérification de spécifications EB3 à l’aide de techniques de model-checking. Bienvenue dans la famille des docteurs en informatique !
À propos Frederic GERVAIS
Frédéric GERVAIS 