Sampaio, A., 		Antonino, P., 		Ferreira, J., 		Arruda, F., & 		Roscoe, A.
(2023).
 Safe evolution of smart contracts.
In <em>Proceedings of the 1st Colloquium on Blockchain and Decentralized Web</em>, (pp. 61-66). Porto Alegre: SBC.
doi:10.5753/cblockchain.2023.231559