Winter Term 2017/18

Bachelor / Master	Course: Model Checking of Software and Systems Course: Software Engineering Directed Studies: Satisfiability Modulo Theories
Bachelor	Project/Thesis: Software and Systems Engineering Seminar: Advanced Topics in Software Engineering
Master	Project/Thesis: Software and Systems Engineering

Search University of Konstanz