Pise, Rohini, and Sonali Patil. “Formal Semantic Approach to Detect Smart Contract Vulnerabilities Using KEVM”. International Journal on Recent and Innovation Trends in Computing and Communication 11, no. 9s (August 31, 2023): 369–377. Accessed May 20, 2024. https://ijritcc.org/index.php/ijritcc/article/view/7432.