Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers - Graham, T. C. Nicholas; Palanque, Philippe; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Computer Communication Networks; Software engineering; Logic design; Information storage and retrieval systems; Multimedia systems; Computer Science; User Interfaces and Human Computer Interaction; Multimedia Information Systems; Information Storage and Retrieval; Software Engineering; Logics and Meanings of Programs; Computer Communication Networks