Title
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
Year
DOI
Venue
2019
10.1007/978-3-030-41600-3_7
VSTTE
DocType
Citations 
PageRank 
Conference
2
0.37
References 
Authors
0
8
Name
Order
Citations
PageRank
Yuepeng Wang161.45
Shuvendu K. Lahiri2142468.18
Shuo Chen319933.91
Rong Pan441.47
Isil Dillig571144.97
Cody Born620.37
Immad Naseer720.37
Kostas Ferles832.40