John Mullins
Professeur agrégé
Département de génie informatique et génie logiciel
Enseignement
Activités pédagogiques
Requis et spécification de logiciels. Méthodes formelles de validation de logiciels. Spécification et vérification des protocoles de communication.
