Baigorria, Lorena, Ana Gabriela Garis, and Daniel Riesco.
" Verificación y Validación Formal de Contratos Inteligentes para Blo-ckchain con Alloy." <em>Las Actas Ampliadas del XIV Latin-American Symposium on Dependable Computing,
Valparaíso/Chile, 2025</em>. SBC, 2025,  
pp.39-42.