APA (7th ed.) Citation

DSV-IS 2008 Kingston, Canada, SpringerLink (Online service), Graham, N., & Palanque, P. (2008). Interactive systems: Design, specification, and verification ; 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings. Springer. https://doi.org/10.1007/978-3-540-70569-7

Chicago Style (17th ed.) Citation

DSV-IS 2008 Kingston, Canada, SpringerLink (Online service), Nicholas Graham, and Philippe Palanque. Interactive Systems: Design, Specification, and Verification ; 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : Proceedings. Berlin ; New York: Springer, 2008. https://doi.org/10.1007/978-3-540-70569-7.

MLA (9th ed.) Citation

DSV-IS 2008 Kingston, Canada, et al. Interactive Systems: Design, Specification, and Verification ; 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : Proceedings. Springer, 2008. https://doi.org/10.1007/978-3-540-70569-7.