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

3rd four-month term
Day Time Type Place Note
Monday 9:00 AM - 11:00 AM lesson Lecture Hall B  
Wednesday 11:00 AM - 1:00 PM lesson Lecture Hall B  
Friday 11:00 AM - 1:00 PM lesson Lecture Hall H  

Teaching aids

Documents

Studying