中图分类法:	TP311-532 版次：
题名:	Model checking software : [ 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /] / ,
其它题名:	SPIN 2007
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2007.
载体形态:	x, 283 p. : ill. ; 23 cm.
附注:	"Collocated with CAV 2007, the 19th Computer-Aided Verification Conference."-- Pref.
主题词:	Computer software Verification
主要责任者:	Bos?nac?ki, Dragan,
主要责任者:	Edelkamp, Stefan.
次要责任者:	CAV (Conference)