-
SSE
-
Lehre
-
Wintersemester 2025/2026
Type Systems for Correctness and Security
Location: OH14 - 104 Start: TBA Moodle: (Attention! Registration via LSF!) This course will be given in English. 1,36 Last evaluation overall grade Course Content Type systems help to avoid errors in programs …