Lorena Baigorria, Ana Garis, and Daniel Riesco. 2025.
 Verificación y Validación Formal de Contratos Inteligentes para Blo-ckchain con Alloy. In <em>Las Actas Ampliadas del XIV Latin-American Symposium on Dependable and Secure Computing</em>, octubre 27, 2025, Valparaíso/Chile, Brasil. SBC, Porto Alegre, Brasil, 39-42. DOI: <a href="https://doi.org/10.5753/ladc_estendido.2025.16884">https://doi.org/10.5753/ladc_estendido.2025.16884</a>.