Provably Correct Smart Contracts using DeepSEA

Online event: https://us06web.zoom.us/j/84513468897?pwd=SEd5TEN3Zi9XaThQRVpsVzZ4OFVmdz09

Daniel Britten will present his research work on DeepSEA smart contract language.