en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Model Checking
introduction
news
exercises
feedback
lecturers
time & place
schedule
evaluation
Model Checking
master program
VO2 SS 2009
703521
Time & Place
Tuesdays from 9:15 to 10:45 in HS 10 and Wednesdays from 15:00 to 16:30 in HS 11. The first Tuesday lecture will be on March 3. The first Wednesday lecture will be on March 18.