Verification of the Deposit Contract in DafnyDate: May 13, 2021A youtube video with a presentation on our formal verification of the deposit contract. Share on Twitter Facebook LinkedIn Previous Next
