Staderini, Mirko, András Pataricza, and Andrea Bondavalli.
"Static Analysis Tools Applied to Smart Contracts." <em>Anais Estendidos do X Latin-American Symposium on Dependable Computing,
Florianópolis, 2021</em>. SBC, 2021,  
pp.3-4.