TY - GEN T1 - Establecimiento y verificación de la consistencia en Dome: un caso de estudio A1 - Cabarcas, Daniel. A2 - Arango, Fernando. A2 - Zapata, Carlos M. A2 - e-libro, Corp. LA - Spanish PP - Medellín (Colombia) PB - Universidad Nacional de Colombia YR - 2006 UL - https://colectivo.uloyola.es/Record/ELB296 OP - 28 CN - QA76.7 C1129 2006 KW - Computers. : Business software. KW - Artículos electrónicos. ER -