Baigorria, L., 		Garis, A., & 		Riesco, D.
(2025).
 Verificación y Validación Formal de Contratos Inteligentes para Blockchain con Alloy.
In <em>Anais do XIV Latin-American Symposium on Dependable Computing</em>, (pp. 39-42). Porto Alegre: SBC.
doi:10.5753/ladc_estendido.2025.16884