Relaxed-Memory Concurrency and Verified Compilation (2010)

by Jaroslav Sevčík , Viktor Vafeiadis,et al.
Citations:7 - 1 self