263-4600-00L  Formal Methods for Information Security

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


Keine zusätzlichen Belegungseinschränkungen vorhanden.