Staderini, Mirko, 		Pataricza, András, AND 		Bondavalli, Andrea.
" Static Analysis Tools Applied to Smart Contracts" <em>Companion Proceedings of the Latin-American Symposium on Dependable Computing (LADC)</em> [Online], (22 November 2021)