Main Index
name: Seidl: Functional Programming and Verification (07.12.2018)
recorded: Fri Dec 07 08:44:42 CET 2018
length: 76:45 min.

#1: 00:00 min.
#2: 00:39 min.
#3: 03:05 min.
#4: 08:13 min.
#5: 12:03 min.
#6: 24:11 min.
#7: 36:42 min.
#8: 46:22 min.
#9: 47:39 min.
#10: 48:04 min.
#11: 53:26 min.
#12: 53:58 min.
#13: 54:17 min.
#14: 55:40 min.
#15: 56:15 min.
#16: 62:49 min.
#17: 72:57 min.