Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shmuel Ur, Eyal Bin, Yaron Wolfsthal, editors, Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Volume 3875 of Lecture Notes in Computer Science, Springer, 2006.

Conference: hvc2006

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

runs on WebDSL