以太坊智能合约定理证明中的形式化规约研究综述

华景煜, 黄达明

Survey of Formal Specification Methods in Theorem Proving of Ethereum Smart Contract

HUA Jingyu, HUANG Daming

信息网络安全 . 2022, (5): 11 -20 . DOI: 10.3969/j.issn.1671-1122.2022.05.002