Automatic System Analysis and Verification (2007/2008)

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
2° Q dal Jan 10, 2008 al Mar 12, 2008.

Lesson timetable

2° Q
Day Time Type Place Note
Monday 11:30 AM - 1:30 PM lesson Lecture Hall I  
Wednesday 10:30 AM - 1:30 PM lesson Lecture Hall G