Staderini, M., 		Pataricza, A., & 		Bondavalli, A.
2021 nov 22.  Static Analysis Tools Applied to Smart Contracts. Anais Estendidos do Latin-American Symposium on Dependable Computing (LADC). [Online] :