name:
Seidl: Functional Programming and Verification (08.02.2019)
recorded:
Fri Feb 08 08:29:31 CET 2019
length:
67:30 min.
Overview