Practical abstractions for automated verification of shared-memory concurrency (Q784156)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
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
