Interactive Systems : Design, Specification, and Verification
Subtitle: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540455226