导航切换
Netinfo Security
Home
About Journal
Adviser
Editorial Board
Guide to Authors
Subscribe
Ethics Standard
Contacts us
中文
Survey of Formal Specification Methods in Theorem Proving of Ethereum Smart Contract
HUA Jingyu, HUANG Daming
Netinfo Security . 2022, (
5
): 11 -20 . DOI: 10.3969/j.issn.1671-1122.2022.05.002