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, Izrael) (Author)
Other Authors: Ur, Shmuel (Editor), Bin, Eyal (Editor), Ziv, Avi (Editor)
Format: Book
Language:English
Published: Berlin : Springer, c2006
Subjects:
For reservations/loans of the physical document, please log in.
Description Status Library Collection Call Number Notes Barcode
Available
Month
Faculty of Informatics K1020.06 4200512916