Towards user interfaces prototyping from algebraic specification

  1. Cabrera, M
  2. Torres, JC
  3. Gea, M
Liburu bilduma:
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
  1. Duke, DJ (coord.)
  2. Puerta, A (coord.)

ISBN: 3-211-83405-2

Argitalpen urtea: 1999

Orrialdeak: 67-83

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

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: WoS