A Survey of Smart Contract Formal Specification and Verification[J]
ACM COMPUTING SURVEYS
机构作者
Cheng, Yao
文献数量：3
Li, Zengxiang
文献数量：1
Mang, Allan N.
文献数量：1
Tolmach, Palina
文献数量：1
Toyoda, Kentaroh
文献数量：3
Zhang, Allan Neng Sheng
文献数量：1
机构文献
Mechanism Design for An Incentive-aware Blockchain-enabled Federated Learning Platform[C]
2019 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA)