Verification of sequential and concurrent programs (Q837527)
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: Verification of sequential and concurrent programs
scientific article; zbMATH DE number 5602955
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Verification of sequential and concurrent programs |
scientific article; zbMATH DE number 5602955 |
Statements
Verification of sequential and concurrent programs (English)
0 references
10 September 2009
0 references
0.9672244
0 references
0.9474216
0 references
0.9463557
0 references
0.9269244
0 references
0.9259261
0 references
0 references
