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 |
| No information on groups available. |
| Semester | Spring Semester 2021 |
| Lecturers | S. Krstic, R. Sasse, C. Sprenger |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| No information on groups available. |