Publication | Open Access
Verification of smart contracts: A survey
119
Citations
53
References
2020
Year
Smart Contract LanguageBlockchainEngineeringInformation SecurityVerificationFormal MethodsSystems EngineeringSmart ContractsComputer ScienceDesign By ContractFormal VerificationSmart ContractData SecurityCryptography
| Year | Citations | |
|---|---|---|
Page 1
Page 1