Friedrich Weber
Univ.Ass. / MSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Courses
2020W
- Formal Methods in Computer Science / 185.291 / VU
2021S
- Computer Aided Verification / 181.145 / VU
- Computer-Aided Verification / 181.144 / UE