Search Results - "parallel programs (computer programming) verification."

Search alternatives:

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    A survey of verification techniques for parallel programs

    A survey of verification techniques for parallel programs by Barringer, Howard

    Published 2012
    Subjects: “…Parallel programs (Computer programs) --Verification.…”
    Get full text
    Book
    Save to List
    Saved in:

Search Tools: