Interactive systems design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings /
Annotation This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented...
|Corporate Authors:||DSV-IS 2008 Kingston, Ont.)|
|Other Authors:||DSV-IS 2008, Graham, T. C. Nicholas 1964-, Palanque, Philippe, 1966-, SpringerLink (Online service)|
Berlin ; New York :
1 online resource (ix, 309 pages) : illustrations (some color).
Lecture notes in computer science ;
LNCS sublibrary. Programming and software engineering.