Automatic System Analysis and Verification (2003/2004)

Course partially running

Course code
4S00051
Name of lecturer
Roberto Giacobazzi
Number of ECTS credits allocated
5
Other available courses
Language of instruction
Italian
Location
VERONA
Period
Second four-month term dal Jan 12, 2004 al Mar 12, 2004.
Web page
http://profs.sci.univr.it/~giaco/mf.html

Lesson timetable

Second four-month term
Day Time Type Place Note
Monday 2:30 PM - 4:30 PM lesson Lecture Hall C  
Tuesday 4:30 PM - 5:30 PM lesson Lecture Hall C  
Wednesday 8:30 AM - 10:30 AM lesson Lecture Hall C  

Teaching aids

Documents