Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kedar S. Namjoshi, Andreas Zeller, Avi Ziv, editors, Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Volume 6405 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Conference: hvc2011

This author has not been identified. Look up 'Kedar S. Namjoshi' in GoogleThis author has not been identified. Look up 'Andreas Zeller' in GoogleThis author has not been identified. Look up 'Avi Ziv' in Google

runs on WebDSL