FONSECA, Felipe Mello; 						MOURA, Matheus dos Santos; 						GONZALEZ, Pedro Henrique; 						MENDONÇA, Diogo Silveira.
 Towards the Evolution of Tools for Detecting Vulnerabilities in Smart Contracts: A Case Study of Mythril and Slither. <em>In</em>: BLOCKCHAIN WORKSHOP: THEORY, TECHNOLOGY AND APPLICATIONS (WBLOCKCHAIN), 8.	, 2025, Natal/RN.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 43-56. 
		DOI: <a href="https://doi.org/10.5753/wblockchain.2025.8787">https://doi.org/10.5753/wblockchain.2025.8787</a>.