Inventaire
Site en anglais

Prof. Krishnendu Chatterjee

Institute of Science and Technology Austria

(Autriche)



Collabore avec l'unité de recherche suivante :


  ⊿Méthodes formelles et vérification