Fonseca, F., Moura, M., Gonzalez, P., & Mendonça, D. 2025 mai 19. Towards the Evolution of Tools for Detecting Vulnerabilities in Smart Contracts: A Case Study of Mythril and Slither. Workshop em Blockchain: Teoria, Tecnologias e Aplicações (WBlockchain). [Online] :