Inventaire
Site en anglais

Prof. Emmanuel Jeannot :

INRIA Lorraine

(Loria, équipe Algorille)

(France)



Collabore avec l'unité de recherche suivante :


  ⊿Méthodes formelles et vérification