中图分类法:	TP311-532 版次：
题名:	Model checking software : [ 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2003.
载体形态:	viii, 239 p. : ill. ; 24 cm.
主题词:	Computer software Verification
主要责任者:	Ball, Thomas
主要责任者:	Rajamani, Sriram K.,