263-4600-00L Formal Methods for Information Security
| Semester | Frühjahrssemester 2018 |
| Dozierende | R. Sasse, C. Sprenger |
| Periodizität | jährlich wiederkehrende Veranstaltung |
| Lehrsprache | Englisch |
| Studiengang | Bereich | Typ | |
|---|---|---|---|
| CAS in Informatik | Fokusfächer und Wahlfächer | W |  |
| Informatik Master | Wahlfächer der Vertiefung General Studies | W | |
| Informatik Master | Wahlfächer der Vertiefung in Information Security | W | |