Towards user interfaces prototyping from algebraic specification

  1. Cabrera, M
  2. Torres, JC
  3. Gea, M
Colección de libros:
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
  1. Duke, DJ (coord.)
  2. Puerta, A (coord.)

ISBN: 3-211-83405-2

Año de publicación: 1999

Páginas: 67-83

Congreso: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99)

Tipo: Aportación congreso