02:11:36 duration 2 hours 11 minutes
20190709_SCT_Robert Brandom
01:42:40 duration 1 hour 42 minutes
CFEM Seminar - Dennis Ignatovich and Grant…
CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms