Chapter
Verified Multicore Parallelism Using Atomic Verifiable Operations
Authors
Dobrogost M; Anand C; Kahl W
Pagination
pp. 107-151
DOI
10.1201/b15268-7
Experts has a new look! Let us know what you think of the updates.
Provide feedback
Experts has a new look! Let us know what you think of the updates.