System and method oriented to supermatic formal verification of smart contract of blockchain. Xia, Y. 2018.
bibtex   
@book{xia_system_2018,
	title = {System and method oriented to supermatic formal verification of smart contract of blockchain},
	author = {Xia, Yang},
	year = {2018},
}

Downloads: 0