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
evaluation
exercises
Program Verification
bachelor program
VO3 + PS2 SS 2022
703083
+
703084
Lecturers
room
consultation hours
VO+PS
Rene Thiemann
3M09
Tuesday
10:15 – 11:15
PS
Christian Sternagel
--
by arrangement