Automatic System Analysis and Verification (2003/2004)

  1. Home
  2. Teaching
  3. Master’s degrees (no longer running)
  4. Masters in Computer Science
  5. Insegnamenti

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
Course news Seminars related to the course

Lesson timetable

Teaching aids

Documents

Share