Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers - Gilroy, Stephen W.; Harrison, Michael D.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Computer Communication Networks; Software engineering; Logic design; Information storage and retrieval systems; Computer Science; User Interfaces and Human Computer Interaction; Information Storage and Retrieval; Software Engineering; Logics and Meanings of Programs; Computer Communication Networks