Pise, R. ., & Patil, S. . (2023). Formal Semantic Approach to Detect Smart Contract Vulnerabilities Using KEVM. International Journal on Recent and Innovation Trends in Computing and Communication, 11(9s), 369–377. https://doi.org/10.17762/ijritcc.v11i9s.7432