Towards user interfaces prototyping from algebraic specification

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

ISBN: 3-211-83405-2

Year of publication: 1999

Pages: 67-83

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

Type: Conference paper

GOOGLE SCHOLAR
Data source: WoS