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（著）