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

Conference Author: DSV-IS 2008 (2008 : Kingston, Ont.)
Additional Titles: DSV-IS 2008
Published: Berlin ; New York : Springer, [2008]
Copyright Date: ©2008
Physical Description: 1 online resource (ix, 309 pages) : illustrations (some color)
Additional Creators: Graham, T. C. Nicholas (Thomas Craig Nicholas), 1964- and Palanque, Philippe, 1966-