Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /

Bibliographic Details
Corporate Authors:	VMCAI 2004 Venice, Italy, ACM Symposium on Principles of Programming Languages
Other Authors:	Steffen, Bernhard, Levi, G. (Giorgio), 1942-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science. 2937.
Subjects:	Computer programs > Verification > Congresses.
Online Access:	http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2937

Remote Storage