Courses
Courses on software development, formal methods, and semantic foundations are offered.
If not indicated otherwise, all courses are held as part of the Elite Graduate Programme "Software engineering".
(applied filters: semester: current | lecturers: Alexander Knapp | course types: Vorlesung, Vorlesung + Übung, Seminar)
name | lecturer | semester | type |
---|---|---|---|
No courses available. |