Department of Computer Sciences
For year:  

This course will not be taught this year!
67532  |   AUTOMATED REASONING ABOUT SOFTWARE

Points: 2        | Hours: 28        | Lesson type: lecture        | Semester: 1        | Exam type: Project 

Course website        Syllabus
 
 
MSc course which is open to 3rd year BSc. Note that the course might be taught in English.
Prerequisites on university level
Study programs that include the course