Staderini, Mirko, 		Pataricza, András, E 		Bondavalli, Andrea.
" Static Analysis Tools Applied to Smart Contracts" <em>Anais Estendidos do Latin-American Symposium on Dependable Computing (LADC)</em> [Online], (22 novembro 2021)