Showing 1 - 1 results of 1 for search 'Yorav, Karen', query time: 0.02s Refine Results
  1. 1
    Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /

    Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / by International Haifa Verification Conference (3rd : 2007 : Haifa, Israel), Yorav, Karen

    Published 2008

Search Tools: