

An edition of Hardware and Software: Verification and Testing (2011)
5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
By Kedar S. Namjoshi
Publish Date
2011
Publisher
Springer Berlin Heidelberg
Language
eng
Pages
-
1-1 of 1 Editions
Language: eng
Published In: 2011
Publisher: Springer Berlin Heidelberg