APA (7th ed.) Citation

DSV-IS 2008, Graham, T. C. N., Palanque, P., & SpringerLink (Online service). (2008). Interactive systems: Design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings. Springer.

Chicago Style (17th ed.) Citation

DSV-IS 2008, T. C. Nicholas 1964- Graham, Philippe Palanque, and SpringerLink (Online service). Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : Proceedings. Berlin ; New York: Springer, 2008.

MLA (8th ed.) Citation

DSV-IS 2008, et al. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : Proceedings. Springer, 2008.