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 |
Main link | Formal Methods for Information Security -- Course Web Page |
Only public learning materials are listed. |