Formal Verification of BNB Smart Contract[C] 5TH INTERNATIONAL CONFERENCE ON BIG DATA COMPUTING AND COMMUNICATIONS (BIGCOM 2019) 2019 Li, Xiaoyu Su, Cheng Xiong, Yan Huang, Wenchao Wang, Wansen
