Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

Saved in:

Bibliographic Details
Corporate Author:	International Haifa Verification Conference Haifa, Israel
Other Authors:	Bin, Eyal, Ziv, Avi, Ur, Shmuel
Format:	Book
Published:	Berlin; New York Springer 2007
Series:	Lecture notes in computer science 4383
Subjects:	Computer programs > Congresses > Verification Software architecture > Congresses Computer input-output equipment > Congresses > Verification Computer software > Congresses > Verification Integrated circuits > Congresses > Verification
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet