Dr. rer. nat. Tim Quatmann
Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)
- 4206
- [2353 Informatikzentrum E1]
- Ahronstr. 55, 52074 Aachen
- +49 241 80-21210
- +49 241 80-22217
- tim.quatmann@cs.rwth-aachen.de
- https://moves.rwth-aachen.de/people/quatmann/