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
Period
2nd quadrimester dal Jan 8, 2007 al Mar 9, 2007.
Web page
http://profs.sci.univr.it/~giaco/mf.html

Lesson timetable

2nd quadrimester
Day Time Type Place Note
Monday 2:30 PM - 4:30 PM lesson Lecture Hall C  
Wednesday 2:30 PM - 5:30 PM lesson Lecture Hall C