Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenço, Onn Shehory.
Material type:
- 9783642341885
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
ICCBS Digital Library | Not for loan |