Departamento
Informática
Capítulos de libro (2) Publicacións nas que participase algún/ha investigador/a
1999
-
Diseño de un sistema de persistencia implícita mediante reflectividad computacional
IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99) (Grupo de Paralelismo, Departamento de Informática), pp. 39-50
-
Verificación formal del subsistema de identificación de clientes en una tienda virtual
IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99) (Grupo de Paralelismo, Departamento de Informática), pp. 169-170