Modular Reasoning about Separation of Concurrent Data Structures (Q5326285)
From MaRDI portal
scientific article; zbMATH DE number 6194794
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Reasoning about Separation of Concurrent Data Structures |
scientific article; zbMATH DE number 6194794 |
Statements
Modular Reasoning about Separation of Concurrent Data Structures (English)
0 references
5 August 2013
0 references
