Publications by the researcher in collaboration with JUAN CARLOS TORRES CANTERO (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