Chapter
Verified Multicore Parallelism Using Atomic Verifiable Operations
Authors
Dobrogost M; Anand C; Kahl W
Pagination
pp. 107-151
Publication Date
July 31, 2013
DOI
10.1201/b15268-7
Dobrogost M; Anand C; Kahl W
pp. 107-151
July 31, 2013
10.1201/b15268-7
