JUAN CARLOS
TORRES CANTERO
CATEDRÁTICO DE UNIVERSIDAD
Publicaciones en las que colabora con JUAN CARLOS TORRES CANTERO (3)
1999
-
Modelisation of co-operative work
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
-
Towards user interfaces prototyping from algebraic specification
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
1996
-
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