Anqi Wang, Hao Wang, Bo Jiang, Wing Kwong Chan. Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection. In 7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020. pages 173-181, IEEE, 2020. [doi]
Abstract is missing.