Automatic System Analysis and Verification (2006/2007)

Course partially running

Course code: 4S00051
Name of lecturer: Roberto Giacobazzi
Number of ECTS credits allocated: 5
Academic sector: INF/01 - INFORMATICS
Language of instruction: Italian
Location: VERONA
Period: 2nd quadrimester dal Jan 8, 2007 al Mar 9, 2007.
Web page: http://profs.sci.univr.it/~giaco/mf.html

Course news Seminars related to the course

Lesson timetable