Staderini, M., 		Pataricza, A., & 		Bondavalli, A.
2021 Nov 22.  Static Analysis Tools Applied to Smart Contracts. Companion Proceedings of the Latin-American Symposium on Dependable and Secure Computing (LADC). [Online] :