Baigorria, L., 		Garis, A., & 		Riesco, D.
2025 out 27.  Verificación y Validación Formal de Contratos Inteligentes para Blockchain con Alloy. Anais Estendidos do Latin-American Symposium on Dependable Computing (LADC). [Online] :