|
|
Lehrangebot Sommersemester 2020
|
Seite
|
|
|
Softwareverifikation
|
Ordner
|
|
|
Seminar: Debugging und automatisierte Fehlerbereinigung
|
Ordner
|
|
|
Semesterprojekt: Entwicklung eines Java IDE Plugins für (semi-)automatisches Debugging
|
Ordner
|
|
|
Semesterprojekt: Modularisierung der Applikation RAY-UI
|
Ordner
|
