Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers - Doherty, Gavin; Blandford, Ann.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
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