Programming Language Design for Safer Smart Contract Execution. Blockchain, Web3 & Digital Trust Journal p-ISSN 3117-597X and e-ISSN 3117-5988, [S. l.], v. 2, n. 2, p. 9–18, 2025. Disponível em: https://galaxiauniverse.com/index.php/BWDTJ/article/view/448. Acesso em: 31 aug. 2026.