name:
Seidl: Functional Programming and Verification (09.11.2018)
recorded:
Fri Nov 09 08:30:13 CET 2018
length:
90:20 min.
Overview