Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Hardware and Software: Verification and Testing | Armin Biere | This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presente… | OL19854793W |