Inventaire
Site en anglais

Dr. Franck Cassez :

Ecole Centrale de Nantes

(IRCyN)

(France)



Collabore avec l'unité de recherche suivante :


  ⊿Méthodes formelles et vérification