OvercastOvercast Podcaster Info Ads Log In

Epicenter – Podcast on Blockchain, Ethereum, Bitcoin and Distributed Technologies

#238 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