publicações selecionadas artigo de conferência Detection of vulnerabilities in smart contracts specifications in ethereum platforms. Leibniz International Proceedings in Informatics, LIPIcs. 2020