Search Results - (("Computer programs Verification Congresses") OR ("Computer program Verification Congresses"))

Suggested Topics within your search.

Search alternatives:

  • 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
    Subjects:

Search Tools: