Theoretische Informatik - Entwurf korrekter Systeme
Members of Petruchio
Student Research Assistants
- Robert von Massow
- Former Assistant: Reiner Jung
Theses in this project
- Sven Linker (Master)
- Philipp Gringel (Bachelor)
- Dipl.-Inform. Tim Strazny (Master)