Software Verification for Weak Memory via Program Transformation

Bibliografische gegevens
Hoofdauteurs:	Alglave, J, Kroening, D, Nimal, V, Tautschnig, M
Formaat:	Conference item
Gepubliceerd in:	2013

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

Gepubliceerd in 2013

Conference item