Automatic System Analysis and Verification (2008/2009)

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 26, 2009 al Mar 27, 2009.

Lesson timetable

Learning outcomes

--

Syllabus

--

Assessment methods and criteria

--

Share