Lecture 02: Temporal logics, LTL

Semester: 
2020. tavasz