name:
Seidl: Functional Programming and Verification (16.11.2018)
recorded:
Fri Nov 16 08:30:08 CET 2018
length:
90:10 min.
Overview