Towards user interfaces prototyping from algebraic specification

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

ISBN: 3-211-83405-2

Any de publicació: 1999

Pàgines: 67-83

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

Tipus: Aportació congrés

GOOGLE SCHOLAR
Fuente de los datos: WoS