Search Results - (("Computer programs Correctness") OR ("Computer programmes Correctness")) :: FRELIP Discovery

Search alternatives:

"Computer programs Correctness" »
- "Computer programme Correctness" (Expand Search)
"Computer programmes Correctness" »
- "Computer programme Correctness" (Expand Search)

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

Standalone Record Save to List
Saved in: