×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
Administration：Ministry of Industry and Information Technology of the People's Republic of China
Sponsored by：Posts & Telecom Press Co,.LTD
Published by: China InfoCom Media Group
ISSN 2096-109X CN 10-1366/TP
Home
About Journal
Editorial Board
Instruction
Peer Review
Agreement
Download
Subscription
Contact Us
中文
Notice to Reader
Publication Ethics
Guide for Authors
Peer Review Process
Peer Review Policy
、
Copyright Transfer Policy
Open Access Policy
License Policy
Toggle navigation
Home
About Journal
Editorial Board
Instruction
Notice to Reader
Publication Ethics
Guide for Authors
Peer Review
Peer Review Process
Peer Review Policy
Agreement
Copyright Transfer Policy
Open Access Policy
License Policy
Download
Subscription
Contact Us
中文
State-of-the-art survey of smart contract verification based on formal methods
Wenbo ZHANG, Simin CHEN, Lifei WEI, Wei SONG, Dongmei HUANG
Chinese Journal of Network and Information Security . 2022, (
4
): 12 -28 . DOI: 10.11959/j.issn.2096-109x.2022041
