Yuan Huang 0002, Rong Wang, Xiangping Chen, Xiaocong Zhou, Ziyan Wang. GOV: A Verification Method for Smart Contract Gas-Optimization. In 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022. pages 473-479, IEEE, 2022. [doi]
Abstract is missing.