Adresse Rheinisch-Westfälische Technische Hochschule AachenLehr- und Forschungsgebiet Informatik II- Programmiersprachen und Verifikation - 52056 Aachen