R. . Pise and S. . Patil, “Formal Semantic Approach to Detect Smart Contract Vulnerabilities Using KEVM”, IJRITCC, vol. 11, no. 9s, pp. 369–377, Aug. 2023.