Birgit Willms
Graduiertenkolleg UnRAVeL
- 4213
- [2353 Informatikzentrum E1]
- Ahornstr. 55, 52074 Aachen
- +49 241 80-21211
- willms@cs.rwth-aachen.de
- https://www.unravel.rwth-aachen.de/
Lehr- und Forschungsgebiet Theorie Hybrider Systeme
- 4213
- [2353 Informatikzentrum E1]
- Ahornstr. 55, 52074 Aachen
- +49 241 80-21211
- willms@cs.rwth-aachen.de
- http://moves.rwth-aachen.de/people/willms/
Lehr- und Forschungsgebiet Programmiersprachen und Verifikation
- 4213
- [2353 Informatikzentrum E1]
- Ahornstr. 55, 52074 Aachen
- +49 241 80-21211
- willms@cs.rwth-aachen.de
- http://moves.rwth-aachen.de/people/willms/
Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)
- 4213
- [2353 Informatikzentrum E1]
- Ahornstr. 55, 52074 Aachen
- +49 241 80-21211
- willms@cs.rwth-aachen.de
- http://moves.rwth-aachen.de/people/willms/