Share: Title:NL Research Seminars #26| MicSE: Automated Verification and Testing of Tezos Smart Contracts Duration: 54:39 Plays: 171 views Published: 2 years ago Download MP3 Download MP4 Simillar Videos ▶️ 2:18 Découvrez Nomadic Labs En 2 Min ! 171 views • 5 years ago ▶️ 2:49 Nomadic Labs, The French Company That Boosts Tezos (english Subtitles) 171 views • 3 years ago ▶️ 3:09 Nomadic Labs - Tezos Dev Day 2020 - Official Aftermovie 171 views • 4 years ago ▶️ 54:04 Nomadic Labs Research Seminars #10 | High-level Smart Contract Design & Verification With Archetype 171 views • 3 years ago
