| BLOQUES 
	    Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis 
	   
            S2018/TCS-4339 (BLOQUES-CM)
	   | ||||||||||||||||||||||||||
| 
 
 
 
 | PublicacionesArtículos en RevistasArtículos en Congresos con Revisión EstrictaPublicaciones en Workshops con RevisiónInformes Técnicos y Manuales | |||||||||||||||||||||||||