APA (7th ed.) Citation

ZHANG, W., CHEN, S., WEI, L., SONG, W., & HUANG, D. State-of-the-art survey of smart contract verification based on formal methods. POSTS&TELECOM PRESS Co., LTD.

Chicago Style (17th ed.) Citation

ZHANG, Wenbo, Simin CHEN, Lifei WEI, Wei SONG, and Dongmei HUANG. State-of-the-art Survey of Smart Contract Verification Based on Formal Methods. POSTS&TELECOM PRESS Co., LTD.

MLA (9th ed.) Citation

ZHANG, Wenbo, et al. State-of-the-art Survey of Smart Contract Verification Based on Formal Methods. POSTS&TELECOM PRESS Co., LTD.