Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /
Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /
edited by Gavin Doherty, Ann Blandfort.
- xi, 268 pages : illustrations ; 24 cm.
- Lecture notes in computer science ; 4323 .
9783540695530 3540695532
Interactive computer systems --Congresses.
QA76.9.I58 / .I58 2007
9783540695530 3540695532
Interactive computer systems --Congresses.
QA76.9.I58 / .I58 2007