Interactive Systems. Design Specification, and Verification
Subtitle: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540341468
Subjects: Interactive computer systems