Mitglied des REGINA e.V.:

Leitung: Prof. Joost Pieter Katoen

RWTH Aachen, Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)

www-i2.informatik.rwth-aachen.de

Tel.: +49 241 80 21200
Fax.: +49 241 80 22217

Ahornstr. 55, Erweiterungsbau 1
52074 Aachen


Adresse in Google Maps öffnen

Zurück