Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers

T. C. Nicholas Graham, Philippe A. Palanque, editors, Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Volume 5136 of Lecture Notes in Computer Science, Springer, 2008.

Conference: DSVIS2008

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.