Ferreira, Juliandson, 		Antonino, Pedro, 		Sampaio, Augusto, 		Roscoe, A., E 		Arruda, Filipe.
" Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)