Security Analysis and Formal Verification on Blockchain and Its Applications
Security Analysis and Formal Verification on Blockchain and Its Applications
Zhaofeng Chen
,
Siwei Wu
,
Kang Li
,
Jun Xu
,
Ronghui Gu
Details
OL Work ID
OL44588790W
Find this book
Open Library