Jie Meng, Zheng Li, Ruiliang Zhao, Ying Shang. An Automated Modeling Method and Visualization Implementation of Smart Contracts. In Hong-Ning Dai, Xuanzhe Liu, Daniel Xiapu Luo, Jiang Xiao, Xiangping Chen, editors, Blockchain and Trustworthy Systems - Third International Conference, BlockSys 2021, Guangzhou, China, August 5-6, 2021, Revised Selected Papers. Volume 1490 of Communications in Computer and Information Science, pages 399-406, Springer, 2021. [doi]
Abstract is missing.