Augusto Sampaio, Pedro Antonino, Juliandson Ferreira, Filipe Arruda, and A. Roscoe. 2023.
 Safe evolution of smart contracts. In <em>Anais do I Colóquio em Blockchain e Web Descentralizada</em>, agosto 06, 2023, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 61-66. DOI: <a href="https://doi.org/10.5753/cblockchain.2023.231559">https://doi.org/10.5753/cblockchain.2023.231559</a>.