Computer Aided Verification
People
Course director
Education
- Master of Science in Artificial Intelligence, Lecture and Laboratory, Elective, 1st year
- Master of Science in Artificial Intelligence, Lecture and Laboratory, Elective, 2nd year
- Master of Science in Informatics, Lecture and Laboratory, Computer Systems, Elective, 1st year
- Master of Science in Informatics, Lecture and Laboratory, Computer Systems, Elective, 2nd year
- Master of Science in Informatics, Lecture and Laboratory, Software Development, Elective, 1st year
- Master of Science in Informatics, Lecture and Laboratory, Software Development, Elective, 2nd year
- Master of Science in Informatics, Lecture and Laboratory, Theory and Algorithms, Elective, 1st year
- Master of Science in Informatics, Lecture and Laboratory, Theory and Algorithms, Elective, 2nd year
