Interactive Systems. Design, Specification, and Verification
Subtitle: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540695547
Subjects: Interactive computer systems