Hardware and software: verification and testing: 7th international haifa verification conference, hvc 2011, haifa, israel, december 6-8, 2011, revised selected papers
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783642341878
Date de publication :
9 oct. 2012
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Allemagne
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions.