Software Verification for Weak Memory via Program Transformation

Bibliographische Detailangaben
Hauptverfasser:	Alglave, J, Kroening, D, Nimal, V, Tautschnig, M
Format:	Conference item
Veröffentlicht:	2013

Software verification for weak memory via program transformation von Alglave, J, Kroening, D, Nimal, V, Tautschnig, M

Veröffentlicht 2013

Conference item