中图分类法:	TP11-532 版次：
题名:	Interactive systems : [ design, specification, and verification : 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings /] / ,
其它题名:	DSV-IS 2008
出版发行:	出版地： Berlin : 出版社： Springer, 出版日期： c2008.
载体形态:	ix, 309 p. : ill. ; 24 cm.
主题词:	Interactive computer systems
主要责任者:	Graham, T. C. Nicholas.
主要责任者:	Palanque, Philippe,