Christoph Matheja: Course units in Spring Semester 2021 |
Name | Dr. Christoph Matheja |
URL | http://www.cmath.eu |
Department | Computer Science |
Relationship | Lecturer |
Number | Title | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|
263-2812-00L | Program Verification Number of participants limited to 30. | 5 credits | 3G + 1A | P. Müller, C. Matheja |