Search Results - "LNCS sublibrary. SL 2, Programming and software engineering"

Suggested Topics within your search.
  • 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
    “…LNCS sublibrary. SL 2, Programming and software engineering…”

Search Tools: