ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ

ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 
Εαρινό Εξάμηνο 2020
Instructor:
Anna Philippou
Room:
FST01-105
Telephone:
22 892699
E-mail:
annap@cs.ucy.ac.cy
Lectures:
Wednesdays, 1500 - 1800
Τutorials:
Wednesday, 1400 - 1500
Labs:
Fridays, 1330 - 1500
Office hours:
Wednesdays, 1100-1300 
Course TA:
Giorgos Hadjipollas,  hpollas@cs.ucy.ac.cy
Announcements
Class Notes
Solutions
Course Schedule
Tutorials
Class Contract
Assignments
Related Links

Information relevant to the course will be disseminated through this page on a regular basis. Please visit it frequently.