Leitung QVM-Kommission: Prof. Dr. Jürgen Giesl
Fachgruppe Informatik
- 4212
- [E1]
- Ahornstr. 55, 52074 Aachen
- +49 241 80-21230
- giesl@informatik.rwth-aachen.de
- http://verify.rwth-aachen.de/giesl/