Inventaire
Site en anglais

Prof. Michael Leuschel :

Heinrich-Heine-Universität

(Institut für Informatik, Softwaretechnik und Programmiersprachen)

(Allem.Est (R.D.A.), Allem.Ouest (R.F.A.), Allemagne )



Collabore avec l'unité de recherche suivante :


  ⊿Méthodes formelles et vérification