Pise, R. . and 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), pp. 369–377. doi: 10.17762/ijritcc.v11i9s.7432.