Volume 39, Issue 2
October 2011Special issue on Hardware Verification Workshop (HWVW '10)
- Issue Editors:
-
- Armin Biere,
- Karen Yorav
6 articles in this issue
Special issue on Hardware Verification Workshop (HWVW '10)