Inventaire
Site en anglais

Thierry Jéron :

IRISA-INRIA

(VERTECS project)

(France)



Collabore avec l'unité de recherche suivante :


  ⊿Méthodes formelles et vérification