Zeller, Andreas.
概要
作品: | 1 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
by:
Namjoshi, Kedar.; Zeller, Andreas.; Ziv, Avi.; SpringerLink (Online service)
(書目-電子資源)