Formalización de interfaces de usuario usando lógica temporal

• M. Enciso ^[1] ; J.M. Frías ^[1] ; C. Rossi ^[1]
  1. [1] E.T.S.I.Informática.Universidad de Málaga
• Localización: Interacción'2001: (16, 17 y 18 de mayo de 2001, Salamanca, España) / coord. por Julio Abascal González, Francisco José García Peñalvo, Ana Belén Gil González, 2002, ISBN 84-7800-874-8, págs. 303-312
• Idioma: español
• Enlaces
  • Texto Completo Libro