Effective Program Verification for Relaxed Memory Models (0)

by S Burckhardt, M Musuvathi
Venue:In CAV 2008