Detailseite
Professor Dr. Jürgen Giesl
Adresse
Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Forschungsgruppe Programmiersprachen und Verifikation
52056 Aachen
