Pise R, Patil S. Formal Semantic Approach to Detect Smart Contract Vulnerabilities Using KEVM. IJRITCC [Internet]. 2023Aug.31 [cited 2024May20];11(9s):369-77. Available from: https://ijritcc.org/index.php/ijritcc/article/view/7432