You are about to access our book library "Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings ... Notes in Computer Science Book 8855) full version"
.