263-4600-00L  Formal Methods for Information Security

SemesterFrühjahrssemester 2016
DozierendeC. Sprenger, S. Radomirovic, R. Sasse
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


NummerTitelUmfangDozierende
263-4600-00 VFormal Methods for Information Security2 Std.
Do09:15-11:00CAB G 57 »
C. Sprenger, S. Radomirovic, R. Sasse
263-4600-00 UFormal Methods for Information Security1 Std.
Do11:15-12:00CAB G 57 »
C. Sprenger, S. Radomirovic, R. Sasse