PISE, R. .; PATIL, S. . Formal Semantic Approach to Detect Smart Contract Vulnerabilities Using KEVM. International Journal on Recent and Innovation Trends in Computing and Communication, [S. l.], v. 11, n. 9s, p. 369–377, 2023. DOI: 10.17762/ijritcc.v11i9s.7432. Disponível em: https://ijritcc.org/index.php/ijritcc/article/view/7432. Acesso em: 20 may. 2024.