Search Results - "Computer programs Correctness" :: FRELIP Discovery

Search alternatives:

"Computer programs Correctness" »
- "Computer programmes Correctness" (Expand Search)
- "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: