Inventaire
Site en anglais

Hubert Garavel :

INRIA Rhône-Alpes

(VASY team)

(France)



Collabore avec l'unité de recherche suivante :


  ⊿Méthodes formelles et vérification