Seminarraum
Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)
- 4201b
- [2353 Informatikzentrum E1]
- Ahornstr. 55, 52074 Aachen
- +49 241 80-21223
- +49 241 80-22217