Publicaciones en las que colabora con MARCELINO JOSÉ CABRERA CUEVAS (3)

1999

  1. Modelisation of co-operative work

    DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99

  2. Towards user interfaces prototyping from algebraic specification

    DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99

1996

  1. Un lenguaje de especificación formal de sistemas gráficos interactivos

    II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996