263-4600-00L  Formal Methods for Information Security

SemesterFrühjahrssemester 2015
DozierendeS. Radomirovic, M. Torabi Dashti
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


NummerTitelUmfangDozierende
263-4600-00 VFormal Methods for Information Security2 Std.
Do09-11CAB G 57 »
S. Radomirovic, M. Torabi Dashti
263-4600-00 UFormal Methods for Information Security1 Std.
Do11-12CAB G 57 »
S. Radomirovic, M. Torabi Dashti