Formal Modeling and Verification of Smart Contracts with Spin[J] ELECTRONICS 2022(11) Yang, Zhe Dai, Meiyi Guo, Jian
