en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Program Verification
introduction
feedback
news
lecturers
slides
evaluation
exercises
Program Verification
bachelor program
VO3 + PS2 SS 2020
703083
+
703084
Lecturer
room
consultation hours
VO+PS
Rene Thiemann
3M09
Tuesday
10:15 – 11:15