Your Surname: Vuotto
Email:
Title of the course: Verification, Model Checking and Abstract Interpretation
Edition (year):
Instructor(s): Giorgio Delzanno
Type of Course: DIBRIS/UNIGE PhD Course
PhD program/school (optional):
Hours: 18
Credits: 6
Attendance/Exam
Type of Exam:
Link to attendance/exam certificate (Dropbox folder):