Xie, R., Zhong, X., Chen, X., Xu, S., Yu, H., & Guo, X. Automatic construction and verification algorithm for smart contracts based on formal verification. AIP Publishing LLC.
Chicago Style (17th ed.) CitationXie, Rui, Xuejiao Zhong, Xin Chen, Shaohui Xu, Haiyang Yu, and Xinyuan Guo. Automatic Construction and Verification Algorithm for Smart Contracts Based on Formal Verification. AIP Publishing LLC.
MLA (9th ed.) CitationXie, Rui, et al. Automatic Construction and Verification Algorithm for Smart Contracts Based on Formal Verification. AIP Publishing LLC.
Warning: These citations may not always be 100% accurate.