Towards Automated Verification of Smart Contract Fairness
Published:
Ye Liu, Yi Li, Shang-Wei Lin, Rong Zhao, In the proceedings of Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2020. https://personal.ntu.edu.sg/yi_li/files/Liu2020TAV.pdf