中图分类法:	TP311.56 版次：
题名:	Formal methods and testing : [ an outcome of the FORTEST network : revised selected papers /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2008.
载体形态:	xi, 366 p. : ill. ; 24 cm.
主题词:	Formal methods (Computer science)
主题词:	Computer software Testing.
主要责任者:	Hierons, Robert M.
主要责任者:	Bowen, J. P.
主要责任者:	Harman, Mark.