L07 (10.07.): Checking CTL properties

Semester: 
2020. ősz
Letöltés: