General information
| Course name | Seminar: 2.01.1011 Oberseminar Formale Methoden |
| Subtitle | bam/mam |
| Course number | 2.01.1011 |
| Semester | SoSe2023 |
| Current number of participants | 2 |
| expected number of participants | 10 |
| Home institute | Department of Computing Science |
| Courses type | Seminar in category Teaching |
| Type/Form | S |
| Lehrsprache | deutsch und englisch |
