Hardware and software: verification and testing: 12th international haifa verification conference, hvc 2016, haifa, israel, november 14-17, 2016, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319490519
Date de publication :
1 nov. 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.