Effective abstractions for verification under relaxed memory models (2015)

by A M Dan, Y Meshman, M T Vechev, E Yahav
Venue:In VMCAI