Mota, A., Villarim, M., Iyoda, J., & Cornélio, M. (2025). Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts. Journal of Software Engineering Research and Development, 13(2), 13:277 – 13:293. https://doi.org/10.5753/jserd.2025.5061