This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.
- ISBN: 978-3-319-13337-9
- Editorial: Springer
- Encuadernacion: Rústica
- Fecha Publicación: 06/11/2014
- Nº Volúmenes: 1
- Idioma: Inglés