Helene Bolke-Hermanns
Graduiertenkolleg UnRAVeL
- 9218
- [Informatikzentrum E3]
- Ahornstrasse 55, 52074 Aachen
- +49 241 80-21004
- helen.bolke-hermanns@informatik.rwth-aachen.de
- http://www.unravel.rwth-aachen.de/cms/UnRAVeL/Das-Graduiertenkolleg/Team/UnRAvel-Team/~pqlc/
Fachgruppe Informatik
- 9218
- [Informatikzentrum E3]
- Ahornstrasse 55, 52074 Aachen
- +49 241 80-21004
- helen.bolke-hermanns@informatik.rwth-aachen.de
- http://www.unravel.rwth-aachen.de/cms/UnRAVeL/Das-Graduiertenkolleg/Team/UnRAvel-Team/~pqlc/
Studiencenter Informatik
- 9218
- [Informatikzentrum E3]
- Ahornstrasse 55, 52074 Aachen
- +49 241 80-21004
- helen.bolke-hermanns@informatik.rwth-aachen.de
- http://www.unravel.rwth-aachen.de/cms/UnRAVeL/Das-Graduiertenkolleg/Team/UnRAvel-Team/~pqlc/
Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)
- 9218
- [Informatikzentrum E3]
- Ahornstrasse 55, 52074 Aachen
- +49 241 80-21004
- helen.bolke-hermanns@informatik.rwth-aachen.de
- http://www.unravel.rwth-aachen.de/cms/UnRAVeL/Das-Graduiertenkolleg/Team/UnRAvel-Team/~pqlc/