Lecture 04: Model checking

Semester: 
2020. tavasz