APA Citation

Graham, T. C. N., & Palanque, P. (2008). Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings (1st ed. 2008.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Graham, T. C. Nicholas, and Philippe Palanque. Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings. 1st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.

MLA Citation

Graham, T. C. Nicholas, and Philippe Palanque. Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings. 1st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.