Model Checking 2014/2015
News
Please check news
here
General Info
Teacher
:
Luca Tesei
Link to the course material and scheduling
:
General Information, Scheduling and Exam Modalities
Lecture Notes and other material
Office Hours
:
Tuesday from 12am to 2pm,
Check for news and changes
Exams
Exam Dates A.Y. 2014/2015
Exam modalities and dates
Register for the exam sessions