Security Analysis and Formal Verification on Blockchain and its Applications

Kang Li | Ronghui Gu | Jun Xu | Zhaofeng Chen | Siwei Wu | Yajin Zhou | Mu Zhang | Xiapu Luo | Yuzhe Tang | Yi Li | Xiaokuan Zhang | Yibo Wang

978-1-63828-568-7

90.00 USD