Software Verification for Weak Memory via Program Transformation

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Alglave, J, Kroening, D, Nimal, V, Tautschnig, M
Ձևաչափ:	Conference item
Հրապարակվել է:	2013

Նկարագրություն
Ամփոփում:

Նմանատիպ նյութեր