Pise, R. .; Patil, S. . Formal Semantic Approach to Detect Smart Contract Vulnerabilities Using KEVM. IJRITCC 2023, 11, 369-377.