Staderini, Mirko, András Pataricza, and Andrea Bondavalli.
" Static Analysis Tools Applied to Smart Contracts." <em>Companion Proceedings of the 10th Latin-American Symposium on Dependable Computing,
Florianópolis, 2021</em>. SBC, 2021,  
pp.3-4.