Vérification Formelle des Contrats Intelligents - Yoichi Hirai
Ethereum Foundation
Visitez le https://archive.devcon.org/ pour accéder à l'ensemble de la bibliothèque des conférences Devcon avec la possibilité de filtrer, des playlists, des suggestions personnalisées, un accès décentralisé sur IPFS et plus encore.