Search for persons
X
?
Proceedings of the Fourth ACM International Symposium on Blockchain and Secure Critical Infrastructure ,
1
Vulnerable Smart Contract Detection by Means of Model Check..:
, In:
?
Advanced Information Networking and Applications; Advances in Intelligent Systems and Computing ,
2