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

researchr

You are not signed in
Sign in
Sign up

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

This author has not been identified. Look up 'T. C. Nicholas Graham' in GoogleThis author has not been identified. Look up 'Philippe A. Palanque' in Google

runs on WebDSL