Universität Duisburg-Essen
Fakultät für Informatik
Software Engineering (aufgelöst)
Suchen
DE
English
Studieren an der UDE
Forschungsgebiete
INKO
SWE
Forschung
SOFTWARE ENGINEERING
MITARBEITER
NEWS
STELLENANGEBOTE
FORSCHUNG
FORSCHUNG
Publikationen
Tools
LEHRE
LEHRE
Sommersemster
Wintersemester
Informationen zu Prüfungen
Abschlussarbeiten
ANFAHRT
Forschungsgebiet Formal Methods
Publikationen:
