Interactive Systems. Design Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers - DSVIS 2005 (2005 : Newcastle upon Tyne, England); Gilroy, Stephen W.; Harrison, Michael D.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Interactive computer systems -- Congresses