Inventaire
Site en anglais

Dr. Bruno Dutertre :

Stanford Research Institute

(Computer Science Laboratory)

(États-Unis)



Collabore avec l'unité de recherche suivante :


  ⊿Méthodes formelles et vérification