Formal verification of C# smart contracts - Allister Beharry - NDC Oslo 2022

Name: Formal verification of C# smart contracts - Allister Beharry - NDC Oslo 2022
Uploaded: 2022-12-20T00:00:00.000Z
Duration: 2747 s
Description: Video Formal verification of C# smart contracts - Allister Beharry - NDC Oslo 2022

(link)

Channel: NDC Conferences