Interactive Systems. Design, Specification, and Verification
Subtitle: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540399292