L. Baigorria, A. Garis, and D. Riesco.
" Verificación y Validación Formal de Contratos Inteligentes para Blockchain con Alloy", in <em>Anais Estendidos do XIV Latin-American Symposium on Dependable and Secure 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>.