APA-ийн эшлэл(7 дахь хэвлэлт)
Shmuel Ur, E. B. Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Shmuel Ur, Eyal Bin. Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Berlín, Alemania: Springer.
MLA -ийн эшлэл (9 дэх хэвлэлт)
Shmuel Ur, Eyal Bin. Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Springer.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.