Skip to main content

Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011

Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011. Kerstin Eder, Joao Lourenco, Onn Shehory, (eds.). Lecture Notes in Computer Science 7261, Springer. ISBN 978-3-642-34187-8. July 2012. No electronic version available. External information

Abstract

Bibtex entry.

Contact details

Publication Admin