263-4600-00L Formal Methods for Information Security
| Semester | Spring Semester 2023 |
| Lecturers | |
| Periodicity | yearly recurring course |
| Course | Does not take place this semester. |
| Language of instruction | English |
| Number | Title | Hours | Lecturers | |
|---|---|---|---|---|
| 263-4600-00 V | Formal Methods for Information Security Does not take place this semester. | 2 hrs | ||
| 263-4600-00 U | Formal Methods for Information Security Does not take place this semester. | 1 hrs | ||
| 263-4600-00 A | Formal Methods for Information Security Does not take place this semester. | 1 hrs |