Login / Signup

Effective Abstractions for Verification under Relaxed Memory Models.

Andrei Marian DanYuri MeshmanMartin T. VechevEran Yahav
Published in: VMCAI (2015)
Keyphrases