Sampaio, Augusto, 		Antonino, Pedro, 		Ferreira, Juliandson, 		Arruda, Filipe, E 		Roscoe, A..
" Safe evolution of smart contracts" <em>Anais do Colóquio em Blockchain e Web Descentralizada (CBlockchain)</em> [Online], (6 agosto 2023)