263-4600-00L Formal Methods for Information Security
Semester | Frühjahrssemester 2020 |
Dozierende | R. Sasse, C. Sprenger |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Keine Informationen zu Gruppen vorhanden. |
Semester | Frühjahrssemester 2020 |
Dozierende | R. Sasse, C. Sprenger |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Keine Informationen zu Gruppen vorhanden. |