中图分类法:	TP31-532 版次：
题名:	Tests and proofs : [ second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /] / ,
其它题名:	TAP 2008
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： 2008.
载体形态:	x, 191 p. : ill. ; 24 cm.
主题词:	Computer software Testing
主题词:	Computer software Reliability
主题词:	Computer software Quality control
主要责任者:	Beckert, Bernhard.
主要责任者:	H?hnle, Reiner.