Winter Term 2019/20

Organizational meeting on seminars and projects: Thursday, Oct 24, 13:30, PZ901

Bachelor / Master	Course: Model Checking of Software and Systems Directed Studies: Decision Procedures for Software Verification Seminar: Machine Learning and Formal Verification
Bachelor	Project: Software and Systems Engineering
Master	Project: Software and Systems Engineering

Search University of Konstanz