581255
Aikalogiikka ja järjestelmien verifiointi
Temporal logik och verifiering av system
Temporal logic and verification
Re-occurence
Discontinued
Upcoming separate exams
No exams.
Course pages
No courses yet.