Inventaire
Site en anglais

Prof. Giorgio Delzanno :

University of Genova

(DISI)

(Italie)



Collabore avec l'unité de recherche suivante :


  ⊿Méthodes formelles et vérification