GOV: A Verification Method for Smart Contract Gas-Optimization.

Yuan Huang, Rong Wang, Xiangping Chen, Xiaocong Zhou, Ziyan Wang

Browse the full QRS paper archive.