Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
- Editors
- (view affiliations)
Conference proceedings
HVC 2012
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7857)