263-4600-00L  Formal Methods for Information Security

SemesterFrühjahrssemester 2022
DozierendeS. Krstic, R. Sasse, C. Sprenger
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


NummerTitelUmfangDozierende
263-4600-00 VFormal Methods for Information Security2 Std.
Di10:15-12:00CAB G 59 »
S. Krstic, R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 Std.
Di12:15-13:00CAB G 59 »
S. Krstic, R. Sasse, C. Sprenger
263-4600-00 AFormal Methods for Information Security1 Std.S. Krstic, R. Sasse, C. Sprenger