Staderini, M., 		Pataricza, A., & 		Bondavalli, A.
(2021).
Static Analysis Tools Applied to Smart Contracts.
In <em>Anais Estendidos do X Latin-American Symposium on Dependable Computing</em>, (pp. 3-4). Porto Alegre: SBC.
doi:10.5753/ladc.2021.18529