Video: Formal Design, Implementation and Verification of Blockchain Languages

Video ▶ Tonton di YouTube

Video oleh Microsoft Research