Security Analysis and Formal Verification on Blockchain and Its ApplicationsKang Li, Ronghui Gu, Jun Xu, Zhaofeng Chen, Siwei Wu · First published 2025Open the Tome
