ISBN 9783642195822 books & textbook
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... (Lecture Notes in Computer Science, 6504)
Barner, Sharon Harris, Ian Kroening, Daniel Raz, Orna
Springer /2011-03-17 Paperback / 207 Pages
isbn-10: 3642195822 / isbn-13: 9783642195822
