263-4600-00L Formal Methods for Information Security
| Semester | Spring Semester 2024 |
| 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 |