263-4600-00L Formal Methods for Information Security
Semester | Spring Semester 2021 |
Lecturers | S. Krstic, R. Sasse, C. Sprenger |
Periodicity | yearly recurring course |
Language of instruction | English |
Number | Title | Hours | Lecturers | ||||
---|---|---|---|---|---|---|---|
263-4600-00 V | Formal Methods for Information Security | 2 hrs |
| S. Krstic, R. Sasse, C. Sprenger | |||
263-4600-00 U | Formal Methods for Information Security | 1 hrs |
| S. Krstic, R. Sasse, C. Sprenger | |||
263-4600-00 A | Formal Methods for Information Security | 1 hrs | S. Krstic, R. Sasse, C. Sprenger |