Capítulos de Libro (2) Publicaciones en las que ha participado algún/a investigador/a

1999

  1. 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

  2. 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