name:
Seidl: Functional Programming and Verification (23.11.2018)
recorded:
Fri Nov 23 08:29:55 CET 2018
length:
88:35 min.
Overview