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 |
Nummer | Titel | Umfang | Dozierende | ||||
---|---|---|---|---|---|---|---|
263-4600-00 V | Formal Methods for Information Security | 2 Std. |
| R. Sasse, C. Sprenger | |||
263-4600-00 U | Formal Methods for Information Security | 1 Std. |
| R. Sasse, C. Sprenger | |||
263-4600-00 A | Formal Methods for Information Security | 1 Std. | R. Sasse, C. Sprenger |