Mathieu Sassolas
Informations générales
- Maître de conférences à l'Université Paris-Est–Créteil — Val de Marne
- Département d'informatique, IUT de Sénart-Fontainebleau
- Membre de l'équipe «Spécification et Vérification de Systèmes» du Laboratoire d'Algorithmique, Complexité et Logique (LACL)
- Adresse e-mail: mathieuDOTsassolasATu-pecDOTfr
