Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
Verification using Model Checking
VU 3 SS 2007 LVA 703800
Introduction
|
Lecturers
|
Time & Place
|
Schedule
|
Course Material
|
Evaluation
|
Registration
Lecturers
office hours
VO + UE
Stefan Blom
Monday
13:00 - 15:00
3N01