BAIGORRIA, Lorena; 						GARIS, Ana Gabriela; 						RIESCO, Daniel.
 Verificación y Validación Formal de Contratos Inteligentes para Blockchain con Alloy. <em>In</em>: LABLOCK ARTIGOS CURTOS - LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING (LADC), 14.	, 2025, Valparaíso/Chile.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 39-42. 
		DOI: <a href="https://doi.org/10.5753/ladc_estendido.2025.16884">https://doi.org/10.5753/ladc_estendido.2025.16884</a>.