Effective program verification for relaxed memory models (0)

by S BUCKHARDT, M MUSUVATHI
Venue:In CAV 08: Computer-Aided Verification (2008