263-4600-00L Formal Methods for Information Security
Semester | Frühjahrssemester 2015 |
Dozierende | S. Radomirovic, M. Torabi Dashti |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Keine zusätzlichen Belegungseinschränkungen vorhanden. |