Design, specification, and verification of interactive systems '97
Subtitle: proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997 [and] Eurographics
By: M.D. Harrison and J.C. Torres (eds.).
Contributors: Harrison, M. D.; Torres, J. C.; Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (1997 : Granada, Spain); EUROGRAPHICS (1997 : Granada, Spain)
Series: Springer computer science
Publisher: Springer
Published: 1997
Place of publication: Wien; New York
Language: eng
Number of pages: 320
Subjects: Computer graphics -- Congresses.; Interactive computer systems -- Congresses.
Genres: Congresses.
Notes: "This book constitutes the proceedings of the Eurographics Workshop on Design, Specification, and Verification of Interactive Systems ... It was the fourth of a series reviewing the state of the art of tools ... In previous years workshops have been held near Pisa, Italy, near Toulouse, France, and in Namur, Belgium"--Pref.

Includes bibliographical references.