Search Results - Yorav, Karen

  • Showing 1 - 1 results of 1
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 Yorav, Karen

    Published 2008

Search Tools: