Baigorria, L., 		Garis, A., & 		Riesco, D.
(2025).
 Formal Verification and Validation of Smart Contracts for Blockchain with Alloy.
In <em>Companion Proceedings of the 14th Latin-American Symposium on Dependable and Secure Computing</em>, (pp. 39-42). Porto Alegre: SBC.
doi:10.5753/ladc_estendido.2025.16884