General information
Course name | Lecture: 2.01.489 Automated Program Verification |
Subtitle | inf489 / inf803 |
Course number | 2.01.489 |
Semester | WiSe24/25 |
Current number of participants | 14 |
expected number of participants | 100 |
Home institute | Department of Computing Science |
Courses type | Lecture in category Teaching |
Next date | Thursday, 14.11.2024 10:00 - 12:00, Room: A01 0-006 |
Type/Form | VL+Ü |
Lehrsprache | deutsch und englisch |