Formal Methods (1999/2000)

Course Not running, not visible

Course code
cod wi: 72038-sci
Name of lecturer
Roberto Giacobazzi
Didactic units
1
Language of instruction
Italian
Period
I four-month term dal Sep 27, 1999 al Nov 26, 1999.
Web page
http://profs.sci.univr.it/~giaco/mf.html

Lesson timetable