Interactive systems
Subtitle: design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers
By: Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.).
Contributors: Jorge, J. A.; Jardim Nunes, Nuno.; Falcão e Cunha, João.
Series: Lecture notes in computer science -- 2844.
Publisher: Springer
Published: 2003
Place of publication: Berlin; New York
Language: eng
Number of pages: 427
Subjects: Interactive computer systems -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.