|
 |
Maître de Conférences
Université Paris 7 (Diderot)
Algorithmique et Complexité
Tel :
Fax :
Bureau :
Page personnelle :
Courrier électronique : lassaign@logique.jussieu.fr |
Activités de recherche
- Vérification
- Test de Logiciels
- Model-Checking
- Logique
|
