Verification, model checking, and abstract interpretation 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	VMCAI 2003
Other Authors:	Zuck, Lenore D. 1958-
Format:	Unknown
Published:	Berlin New York Springer 2003
Series:	Lecture notes in computer science ; 2575
Subjects:	Computer programs > Congresses > Verification
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet