DMCA

Effective Program Verification for Relaxed Memory Models

by Sebastian Burckhardt , Madanlal Musuvathi
Citations:43 - 6 self