Towards a Program Logic for C11 Release-Sequences.

Mengda He, Shengchao Qin, Joo F. Ferreira

Browse the full TASE paper archive.