Courses in WS 2020/21
Number | Courses |
---|---|
L.079.05100 | Programmierung |
L.079.07503 | Proseminar: Ausgewählte Themen der Software Verifikation |
L.079.08011 | Seminar: Advanced Topics in Software Analysis (in English) |
Number | Courses |
---|---|
L.079.05100 | Programmierung |
L.079.07503 | Proseminar: Ausgewählte Themen der Software Verifikation |
L.079.08011 | Seminar: Advanced Topics in Software Analysis (in English) |