Effective Abstractions for Verification under Relaxed Memory Models (Q5172657)
From MaRDI portal
scientific article; zbMATH DE number 6397691
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective Abstractions for Verification under Relaxed Memory Models |
scientific article; zbMATH DE number 6397691 |
Statements
Effective Abstractions for Verification under Relaxed Memory Models (English)
0 references
4 February 2015
0 references
