Results
Interactive Systems. Design, Specification, and Verification
10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
© 2003
Soft cover - Print (ISBN: 978-3-540-20159-5)
Electronic (ISBN: 978-3-540-39929-2)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-39929-2