Completed
Formal verification of C# smart contracts - Allister Beharry - NDC Oslo 2022
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Formal Verification of C# Smart Contracts
Automatically move to the next video in the Classroom when playback concludes