Hardware and software: verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /

Bibliographic Details
Corporate Authors:	International Haifa Verification Conference Haifa, Isarel, SpringerLink (Online service)
Other Authors:	Namjoshi, Kedar S., Zeller, Andreas, Ziv, Avi
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 2011.
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science ; 6405.
Subjects:	Hardwareverifikation. Model Checking. Programmverifikation. Software. Testen. Computer software > Testing > Congresses. Computer software > Verification > Congresses. Integrated circuits > Testing > Congresses. Integrated circuits > Verification > Congresses. Haifa <2009>. Electronic books. Kongress.
Online Access:	Connect to the full text of this electronic book

Available Online