Software verification for weak memory via program transformation (Lecture Notes in Computer Science: ESOP 2013: Programming Languages and Systems, 2013)

(untitled) - Alglave, J; Kroening, D; Nimal, V; Tautschnig, M