Friedrich Weber
Univ.Ass. / MSc
Role
-
On Leave
Formal Methods in Systems Engineering, E192-04
Courses
2021W
- Formal Methods in Computer Science / 185.A93 / UE
- Formal Methods in Computer Science / 185.291 / VU
2022S
- Formal Methods in Computer Science / 185.291 / VU