General information
| Course name | Seminar: 2.01.490 Seminar: Concurrency Verification |
| Subtitle | inf490/inf491 |
| Course number | 2.01.490 |
| Semester | SoSe2026 |
| Current number of participants | 3 |
| expected number of participants | 5 |
| Home institute | Department of Computing Science |
| Courses type | Seminar in category Teaching |
| First date | Wednesday, 08.04.26, 16:00 - 18:00 o'clock A02 3-334 |
| Type/Form | S |
| Lehrsprache | englisch |