Replication Data for: Towards Automated Verification of Smart Contract Fairness
收藏DataCite Commons2025-08-07 更新2025-04-16 收录
下载链接：
https://researchdata.ntu.edu.sg/citation?persistentId=doi:10.21979/N9/0BEVRT
下载链接
链接失效反馈官方服务：
资源简介：
Software artifacts created for the paper titled "Towards Automated Verification of Smart Contract Fairness" accepted at FSE'20.
提供机构：
DR-NTU (Data)
创建时间：
2020-05-27
