中图分类法:	TP31-532 版次：
题名:	Static analysis : [ 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /] / ,
其它题名:	SAS 2008
出版发行:	出版地： Berlin : 出版社： Springer, 出版日期： 2008.
载体形态:	x, 377 p. : ill. ; 24 cm.
主题词:	Computer programming
主题词:	Programming languages (Electronic computers)
主要责任者:	Alpuente, María.
主要责任者:	Vidal, Germán.