Informacje / Announcements
Model checking exams
- Model checking standard exam, June 24, 11 a.m. building C2, room 429
- Model checking resit 1, June 28, 9 a.m. building C2, room 429
- Model checking resit 2, September 10, 9 a.m. building C2, room 431
Konsultacje / Office hours
- Please send an email to arrange an on-line meeting.