科图分类法:	QA76 L47 no. 2404 版次：
中图分类法:	TP31-532 版次：
题名:	Computer aided verification : [ 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2002.
载体形态:	xiii, 626 p. : ill. ; 24 cm.
附注:	"This year CAV was part of the Federated Logic Conference (FLoC 2002)"--P. [v] .
主题词:	Computer software Verification
主题词:	Integrated circuits Verification
主要责任者:	Brinksma, Ed.
主要责任者:	Larsen, K. G.
次要责任者:	Federated Logic Conference