Abstract
Hardware and Software: Verification and Testing
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Original language | Unknown |
---|---|
Place of Publication | Berlin |
Publisher | Springer Berlin Heidelberg |
ISBN (Print) | 978-3-642-34187-8 |
DOIs | |
Publication status | Published - 1 Jan 2013 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin Heidelberg |
No. | 7261 |
ISSN (Print) | 0302-9743 |