Pise, Rohini, and Sonali Patil. 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-77. https://doi.org/10.17762/ijritcc.v11i9s.7432.