Sarah Sophie Sallinger
Univ.Ass.in / MSc
Role
-
PreDoc Researcher
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