 |
 |
ATER Post-Doc
Université Paris-Saclay
Test Formel et Exploration de Systèmes
Tel :
Fax :
Bureau :
Page personnelle :
Courrier électronique : Mounir.Lallali@lri. |
Activités de recherche - Vérification - Test de Logiciels - Modélisation - Méthodes Formelles de Génie Logiciel
|