Software Verification for Weak Memory via Program Transformation

Detaylı Bibliyografya
Asıl Yazarlar:	Alglave, J, Kroening, D, Nimal, V, Tautschnig, M
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	2013

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

Baskı/Yayın Bilgisi 2013

Conference item