STADERINI, Mirko; 						PATARICZA, András; 						BONDAVALLI, Andrea.
 Static Analysis Tools Applied to Smart Contracts. <em>In</em>: FAST ABSTRACT - LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 10.	, 2021, Florianópolis.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2021
.
 p. 3-4. 
		DOI: <a href="https://doi.org/10.5753/ladc.2021.18529">https://doi.org/10.5753/ladc.2021.18529</a>.