External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

GOV: A Verification Method for Smart Contract Gas-Optimization

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]

Authors

Yuan Huang 0002

This author has not been identified. Look up 'Yuan Huang 0002' in Google

Rong Wang

This author has not been identified. Look up 'Rong Wang' in Google

Xiangping Chen

This author has not been identified. Look up 'Xiangping Chen' in Google

Xiaocong Zhou

This author has not been identified. Look up 'Xiaocong Zhou' in Google

Ziyan Wang

This author has not been identified. Look up 'Ziyan Wang' in Google
runs on