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
lecturers
slides
exercises
Program Verification
bachelor program
VO3 + PS2 SS 2024
703083
+
703084
Lecturer
room
consultation hours
VO+PS
Rene Thiemann
3M09
Tuesday
10:15 – 11:15