263-4600-00L Formal Methods for Information Security
Semester | Spring Semester 2015 |
Lecturers | S. Radomirovic, M. Torabi Dashti |
Periodicity | yearly recurring course |
Language of instruction | English |
Main link | Formal Methods for Information Security |
Only public learning materials are listed. |