Towards Automated Verification of Smart Contract Fairness[C] PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20) 2020 Liu, Ye Li, Yi Lin, Shang-Wei Zhao, Rong
