Description
About this book
Hardware and Software: Verification and Testing — 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. An English-language digital edition by Valeria Bertacco (Editor); Axel Legay (Editor), available in PDF.
Edition details
- Author / contributors: Valeria Bertacco (Editor); Axel Legay (Editor)
- Publisher: Springer International Publishing
- Publication date: October 28, 2013
- Language: English
- ISBNs: 9783319030760; 9783319030777
- Digital formats: PDF





Reviews
There are no reviews yet.