Search Results - (("Computer programs Correctness") OR ("Computer programme Correctness"))

Search alternatives:

  • Showing 1 - 1 results of 1
Refine Results
  1. Cover Image

    Concrete and symbolic linearisability checking of non-blocking concurrent data structures by Du Toit, Nicole Cathryn

    Published 2021
    Subjects: “…Computer programs -- Correctness…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: