name:
Seidl: Functional Programming and Verification (30.11.2018)
recorded:
Fri Nov 30 08:34:40 CET 2018
length:
85:59 min.
Overview