Practical abstractions for automated verification of shared-memory concurrency (Q784156)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Practical abstractions for automated verification of shared-memory concurrency |
scientific article; zbMATH DE number 7228517
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Practical abstractions for automated verification of shared-memory concurrency |
scientific article; zbMATH DE number 7228517 |
Statements
Practical abstractions for automated verification of shared-memory concurrency (English)
0 references
5 August 2020
0 references
0.8614678978919983
0 references
0.8512177467346191
0 references
0.7901430726051331
0 references
0.7835081815719604
0 references
0.7725260257720947
0 references
