Apl. Prof. Dr. Thomas Noll
Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)
- 4211
- Sammelbau Informatik, 1. Erweiterung [2353]
- Ahornstr. 55, 52074 Aachen
- +49 241 80-21213
- noll@cs.rwth-aachen.de
- http://moves.rwth-aachen.de/people/noll/
Fakultät für Informatik
- Informatik E3 [2359]
- Ahornstr. 55, 52074 Aachen
- +49 241 80-21213
- noll@cs.rwth-aachen.de