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.

Course news Seminars related to the course

Lesson timetable

Learning outcomes

--

Syllabus

--

Assessment methods and criteria

--