Cita APA (7th ed.)

(2008). Interactive systems: Design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings / T.C. Nicholas Graham, Philippe Palanque (eds.).

Cita Chicago (17th ed.)

Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : Proceedings / T.C. Nicholas Graham, Philippe Palanque (eds.). 2008.

Cita MLA (9th ed.)

Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : Proceedings / T.C. Nicholas Graham, Philippe Palanque (eds.). 2008.