Kerstin Eder, e. (2012). Hardware and software: Verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers. Springer-Verlag.
Chicago Style CitationKerstin Eder, editor. Hardware and Software: Verification and Testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : Revised Selected Papers. Springer-Verlag, 2012.
MLA CitationKerstin Eder, editor. Hardware and Software: Verification and Testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : Revised Selected Papers. Springer-Verlag, 2012.
Warning: These citations may not always be 100% accurate.