WS 2016/2017
| Titel | Inhaltstyp | |
|---|---|---|
| Lehrangebot Wintersemester 2016/17 | Seite | |
| Sichere und zuverlässige Softwaresysteme | Ordner | |
| Forschungsmethoden der Informatik | Ordner | |
| Software Engineering | Ordner | |
| Seminar: Automated Software Engineering | Ordner | |
| ProSeminar: Softwareverifikation | Ordner | |
| SemesterProjekt: Automatic Bug Mining in Software Repositories | Ordner |