Baigorria, Lorena, 		Garis, Ana, E 		Riesco, Daniel.
" Verificación y Validación Formal de Contratos Inteligentes para Blockchain con Alloy" <em>Anais Estendidos do Latin-American Symposium on Dependable and Secure Computing (LADC)</em> [Online], (27 outubro 2025)