Formal Methods: Software Anaylsis and Verification (2001/2002)

Course Not running, not visible

Course code
cod wi: 88011-sci
Name of lecturer
Roberto Giacobazzi
Didactic units
1
Language of instruction
Italian
Period
3rd four-month term dal Apr 8, 2002 al Jun 7, 2002.
Web page
http://profs.sci.univr.it/~giaco/mf.html

Lesson timetable

Teaching aids

Documents