Lecture 04: Model checking

Semester: 
2019. tavasz