Security Analysis and Formal Verification on Blockchain and its Applications (Foundations and Trends® in Computer Science)
Li, Kang/Gu, Ronghui/Xu, Jun/Chen, Zhaofeng/Wu, Siwei/Zhou, Yajin/Zhang, Mu/Luo, Xiapu/Tang, Yuzhe/Li, Yi/Zhang, Xiaokuan/Wang, Yibo