GOV: A Verification Method for Smart Contract Gas-Optimization[C] 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS 2022 Huang, Yuan Wang, Rong Chen, Xiangping Zhou, Xiaocong Wang, Ziyan
