Cover Image

Interactive Systems Design, Specification, and Verification

7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers

Author: Palanque, Philippe
Paternò, Fabio
Media Type: eBook
Language: English
Published: Berlin, Heidelberg, Springer-Verlag Berlin Heidelberg, 2001
ISBN: 9783540446750
978-3-540-41663-0
Subjects:

Internet

Fulltext