Results
Interactive Systems: Design, Specification, and Verification
8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
© 2001
Soft cover - Print (ISBN: 978-3-540-42807-7)
Electronic (ISBN: 978-3-540-45522-6)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-45522-6