Avi Ziv
1 published title
Hardware and software: verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642192364
- Springer
- 2011
- Details