name:
Seidl: Functional Programming and Verification (18.01.2019)
recorded:
Fri Jan 18 08:29:47 CET 2019
length:
90:37 min.
Overview