en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Introduction to Model Checking
introduction
news
feedback
lecturers
time & place
schedule
evaluation
Introduction to Model Checking
master program
VO1 WS 2007/2008
703503
Time & Place
Monday from 13:15 to 14:00 in
HS C
. The first lecture will be on October 8.