I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Security and Verification
held by: Univ.-Prof. Dr. Jan Kretinsky
M.Sc. Julia Eisentraut
M.Sc. Maxi Weininger
held in: SS 2020
more information: /um/courses/seminar/secver/ss20