Lifting the Reasoning Level in Generic Weak Memory Verification.

Lara Bargmann, Heike Wehrheim

Browse the full IFM paper archive.