Current courses (Software Engineering Group)AG Leue (Software and Systems Engineering)i

Title Type Semester
Model Checking of Software and Systems (Exercise) Exercise WiSe 2018/19
Model Checking of Software and Systems Lecture WiSe 2018/19
Software Engineering Lecture WiSe 2018/19
Software Engineering (Exercise) Exercise WiSe 2018/19
Software Engineering (Exercise) Exercise WiSe 2018/19
Decision Procedures for Software Verification (Exercise) Exercise WiSe 2018/19
Courses of last terms