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
Format: Electronic Conference Proceeding eBook
Language:English
Published: Berlin : Springer, ©2007.
Series:Lecture notes in computer science 4383.
Subjects: