Interactive systems：design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings

Corporate Authors: DSV-IS 2008 (2008 Kingston, Ont.); SpringerLink (Online service)
Group Author: (Thomas Craig Nicholas), 1964-; Palanque Philippe, 1966-; Graham T. C. Nicholas
Published: Springer,
Publication Dates: c2008.