Avi Ziv,Kedar Namjoshi Andreas Zeller

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Hardware and Software: Verification and Testing. 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers978-3-642-19238-8
(3-642-19238-6)
2011

A. K. · A N · A. Z. · Avi Ziv

Avideh Zakhor