Interactive systems：design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers

Corporate Authors: DSVIS 2005 (2005 Newcastle upon Tyne, England)
Group Author: Gilroy Stephen W.; Harrison M. D.; (Michael D.)
Published: Springer,
Publication Dates: c2006.
Call Number: TP391-532/E89/2005