L. Baigorria, A. Garis, and D. Riesco.
" 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 Computing</em>, Valparaíso/Chile, 2025, pp. 39-42, doi: <a href="https://doi.org/10.5753/ladc_estendido.2025.16884">https://doi.org/10.5753/ladc_estendido.2025.16884</a>.