Xiaomin Bai, Zijing Cheng, Zhangbo Duan, Kai Hu. Formal Modeling and Verification of Smart Contracts. In Kamal Zuhairi Zamli, Vitaliy Mezhuyev, Luigi Benedicenti, editors, Proceedings of the 7th International Conference on Software and Computer Applications, ICSCA 2018, Kuantan, Malaysia, February 08-10, 2018. pages 322-326, ACM, 2018. [doi]
Abstract is missing.