Baigorria, Lorena, 		Garis, Ana, Y 		Riesco, Daniel.
" Verificación y Validación Formal de Contratos Inteligentes para Blo-ckchain con Alloy" <em>Anais Estendidos do Latin-American Symposium on Dependable Computing (LADC)</em> [En línea], (27 octubre 2025)