Your Surname: benvenuto
Email: benvenuto.lorenzo@gter.it
Title of the course: Runtime Verification for distributed systems
Edition (year): 2019
Instructor(s): Davide Ancona
Type of Course: DIBRIS/UNIGE PhD Course
PhD program/school (optional):
Hours: 20
Credits: 2
Attendance/Exam Attendance only
Type of Exam:
Link to attendance/exam certificate (Dropbox folder):