Record:   Prev Next
Author International Haifa Verification Conference (10th : 2014 : Haifa, Israel)
Title Hardware and software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : proceedings / edited by Eran Yahav
Imprint Cham : Springer International Publishing : Imprint: Springer, 2014
book jacket
Record:   Prev Next