Automated Verification of Smart Contracts: Current State and Future Directions
-
Speaker
Josselin Feist
Event
EthCC[2]
Date
March 10, 2019
Category
Security
Type
Talk
Language
EN
-
Speaker
Event
EthCC[2]
Date
March 10, 2019
Category
Security
Type
Talk
Language
EN