Meixun Qu, Xin Huang, Xu Chen, Yi Wang, Xiaofeng Ma, Dawei Liu 0001. Formal Verification of Smart Contracts from the Perspective of Concurrency. In Meikang Qiu, editor, Smart Blockchain - First International Conference, SmartBlock 2018, Tokyo, Japan, December 10-12, 2018, Proceedings. Volume 11373 of Lecture Notes in Computer Science, pages 32-43, Springer, 2018. [doi]
Abstract is missing.