CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms

From E. Cornelius May 17, 2018