Lehrende: Dr. Ben Hermann
Veranstaltungsart: Vorlesung (mit Übung)
Orga-Einheit: Informatik
Anzeige im Stundenplan: TSCS
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Type Systems for Correctness and Security - Tutorial
Dr. Ben Hermann
Di, 2. Apr. 2019 [14:00]-Di, 9. Jul. 2019 [16:00]