Record:   Prev Next
Author International Haifa Verification Conference (6th : 2010 : Haifa, Israel)
Title Hardware and software: verification and testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers / edited by Sharon Barner ... [et al.]
Imprint Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
book jacket
Record:   Prev Next