Kedar Namjoshi, A. Z. Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Springer.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
Chicagoスタイル(17版)引用形式
Kedar Namjoshi, Andreas Zeller. Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Berlín, Alemania: Springer.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
MLA(9版)引用形式
Kedar Namjoshi, Andreas Zeller. Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Springer.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
警告: この引用は必ずしも正確ではありません.