Sampaio, Augusto, Pedro Antonino, Juliandson Ferreira, Filipe Arruda, and A. W. Roscoe.
" Safe evolution of smart contracts." <em>Anais do I Colóquio em Blockchain e Web Descentralizada,
João Pessoa/PB, 2023</em>. SBC, 2023,  
pp.61-66.