Prof. Dr. rer. nat. Klaus Indermark
Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)
- 4232
- [2353 Informatikzentrum E1]
- Ahornstraße 55, 52074 Aachen
- +49 241 80-21250
- +49 241 80-22217
- indermark@cs.rwth-aachen.de