name:
Seidl: Functional Programming and Verification (11.01.2019)
recorded:
Fri Jan 11 08:30:18 CET 2019
length:
90:21 min.
Overview