Software Verification for Weak Memory via Program Transformation (Q5326305)
From MaRDI portal
scientific article; zbMATH DE number 6194811
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Software Verification for Weak Memory via Program Transformation |
scientific article; zbMATH DE number 6194811 |
Statements
Software Verification for Weak Memory via Program Transformation (English)
0 references
5 August 2013
0 references
