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]
@inproceedings{HuangWCZW22,
title = {GOV: A Verification Method for Smart Contract Gas-Optimization},
author = {Yuan Huang 0002 and Rong Wang and Xiangping Chen and Xiaocong Zhou and Ziyan Wang},
year = {2022},
doi = {10.1109/QRS57517.2022.00055},
url = {https://doi.org/10.1109/QRS57517.2022.00055},
researchr = {https://researchr.org/publication/HuangWCZW22},
cites = {0},
citedby = {0},
pages = {473-479},
booktitle = {22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022},
publisher = {IEEE},
isbn = {978-1-6654-7704-8},
}