CSEN 1017: Introduction to Model Checking and Temporal Logics (Elective) - Faculty of Media Engineering and Technology

CSEN 1017 Introduction to Model Checking and Temporal Logics (Elective)