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

Teaching aids

Documents