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

Bibliographic Details
Main Authors:	International Haifa Verification Conference (2nd : 2006 : Haifa, Israel), Bin, Eyal, Ziv, Avi, Ur, Shmuel
Format:
Language:	eng
Published:	Berlin : Springer-Verlag, 2007
Subjects:	Computer systems Computer software Computer programs Integrated circuits
Online Access:	http://dx.doi.org/10.1007/978-3-540-70889-6

Internet