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

Overview