Person
Fakultät für Mathematik, Informatik und NaturwissenschaftenLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Adresse
Ahornstr. 55
52074 Aachen
Kontakt
- WorkPhone
- Telefon: +49 241 80 21201
Fax
Fax:
+49 241 80 22217
E-Mail:
moves@informatik.rwth-aachen.de