Your Surname: Leofante
Email:
Title of the course: Winter School in Engineering and Computer Science on Formal Verification
Edition (year):
Instructor(s): Moshe Vardi and others
Type of Course: Other
PhD program/school (optional):
Hours: 40
Credits: 2
Attendance/Exam
Type of Exam:
Link to attendance/exam certificate (Dropbox folder): Certificate