Current courses
Title | Type |
---|---|
Bachelor's Project Software and Systems Engineering | Project |
Master's Project Software and Systems Engineering | Project |
Software Engineering | Lecture |
Software Engineering (Exercise) (1. Parallel Group) | Exercise |
Software Engineering (Exercise) (2. Parallel Group) | Exercise |
Decision Procedures for Software Verification | Directed Studies |
Decision Procedures for Software Verification (Exercise) | Exercise |
Verification of Software and Systems | Lecture |
Verification of Software and Systems (Exercise) | Exercise |
Soft Meeting AG Leue (intern) | internal event |