Course title in Italian: Automated Software Verification
Module:
Course title in English: Automated Software Verification
Language: Italian
Teaching year: II
ECTS: 6
Teaching hours: 150
Semester: 2
Professors
- Channel 1: Massimo Benerecetti
Prerequisites
None
Course objectives
text
Syllabus
text
Teaching method
text
Examination modalities
text