General information
| Course name | Seminar: 2.01.AM-10 Oberseminar Entwicklung korrekter Systeme |
| Subtitle | bam/mam |
| Course number | 2.01.AM-10 |
| Semester | WiSe25/26 |
| Current number of participants | 0 |
| expected number of participants | 8 |
| Home institute | Department of Computing Science |
| Courses type | Seminar in category Teaching |
| First date | Wednesday, 15.10.25, 14:00 - 16:00 o'clock A03 2-214 |
| Type/Form | S |
| Lehrsprache | -- |