Hardware and software: verification and testing: 11th international haifa verification conference, hvc 2015, haifa, israel, november 17-19, 2015, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319262864
Date de publication :
27 oct. 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.