Formale Verifikation von Smart Contracts - Yoichi Hirai
Ethereum Foundation
Besuchen Sie https://archive.devcon.org/, um Zugang zur gesamten Bibliothek der Devcon-Vorträge zu erhalten, mit der Möglichkeit zu filtern, Playlists, personalisierten Vorschlägen, dezentralem Zugriff auf IPFS und mehr.