中图分类法:	TP311-532 版次：
题名:	Model checking software : [ 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /] / ,
其它题名:	SPIN `01.
出版发行:	出版地： New York : 出版社： Springer, 出版日期： 2001.
载体形态:	x, 311 p. ; 23 cm.
主题词:	Computer software Verification
主要责任者:	Dwyer, Matthew,