Ning Han, Ximeng Li 0003, Guohui Wang, Zhiping Shi 0002, Yong Guan. Formal Verification of Atomicity Requirements for Smart Contracts. In Bruno C. D. S. Oliveira, editor, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings. Volume 12470 of Lecture Notes in Computer Science, pages 44-64, Springer, 2020. [doi]
Abstract is missing.