An Integrated Specification and Verification Technique for Highly Concurrent Data Structures (Q5326334)
From MaRDI portal
scientific article; zbMATH DE number 6194844
Language | Label | Description | Also known as |
---|---|---|---|
English | An Integrated Specification and Verification Technique for Highly Concurrent Data Structures |
scientific article; zbMATH DE number 6194844 |
Statements
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures (English)
0 references
5 August 2013
0 references