Ferreira, J., 		Antonino, P., 		Sampaio, A., 		Roscoe, A., & 		Arruda, F.
2024 dez  4.  Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :