Video: Towards Formally Verified Smart Contracts with Haskell - Allison Irvin & Nick Waywood, IBM

Video ▶ Tonton di YouTube

Video oleh LF Decentralized Trust