Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eyal Bin, Avi Ziv, Shmuel Ur, editors, Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Volume 4383 of Lecture Notes in Computer Science, Springer, 2007.

Conference: hvc2007

This author has not been identified. Look up 'Eyal Bin' in GoogleThis author has not been identified. Look up 'Avi Ziv' in GoogleThis author has not been identified. Look up 'Shmuel Ur' in Google

runs on WebDSL