![](/img/cover-not-exists.png)
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts
Yang, Zheng, Lei, Hang, Qian, WeizhongVolume:
8
Year:
2020
Journal:
IEEE Access
DOI:
10.1109/ACCESS.2020.2969437
File:
PDF, 14.65 MB
2020