Namjoshi, Kedar.
Overview
| Works: | 15 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Hardware and software: verification and testing5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
by:
(1998 :); Namjoshi, Kedar.; SpringerLink (Online service); Zeller, Andreas.; Ziv, Avi.
(Electronic resources)