OvercastOvercast Podcaster Info Ads Log In

Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies

Amrit Kumar & Dr.Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language

June 6, 2018
0:00 -:--
Speed
–1×+++++2×+
Website • Share link • Share link with timestamp

The podcast and artwork embedded on this page are from epicenter.tv, which is the property of its owner and not affiliated with or endorsed by Overcast. Overcast is © 2014–2024 Overcast Radio, LLC
Privacy Policy • Terms • Contact • Add • Info for Podcasters • Forecast