中图分类法:	TP312-532 版次：
题名:	Verification, model checking, and abstract interpretation : [ 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /] / ,
其它题名:	VMCAI 2004
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2004.
载体形态:	xi, 324 p. : ill. ; 24 cm.
附注:	"...in conjunction with POPL 2004, the 31st annual Symposium on Principles of Programming Languages, Jan. 14-16, 2004."--Pref.
主题词:	Computer programs Verification
主要责任者:	Steffen, Bernhard.
主要责任者:	Levi, G.
次要责任者:	ACM Symposium on Principles of Programming Languages