Fonseca, Felipe, 		Moura, Matheus, 		Gonzalez, Pedro Henrique, E 		Mendonça, Diogo.
" Towards the Evolution of Tools for Detecting Vulnerabilities in Smart Contracts: A Case Study of Mythril and Slither" <em>Workshop em Blockchain: Teoria, Tecnologias e Aplicações (WBlockchain)</em> [Online], (19 maio 2025)