University Duisburg-Essen
Fakultät für Informatik
Software Engineering (aufgelöst)
Search
EN
Deutsch
Studying at the UDE
Research Topics
INKO
SWE
Research
SOFTWARE-ENGINEERING
STAFF MEMBER
JOB OFFERS
NEWS
LOCATION
------------------------------
RESEARCH
RESEARCH
Publications
Tools
------------------------------
EDUCATION
EDUCATION
Summer Semester
Winter Semester
Exam Information
Final thesis
------------------------------
------------------------------
Research Topic Formal Methods
Publications:
