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