Refinement-Based Verification of Communicating Unstructured Code (Q4571128)
From MaRDI portal
scientific article; zbMATH DE number 6899204
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Refinement-Based Verification of Communicating Unstructured Code |
scientific article; zbMATH DE number 6899204 |
Statements
Refinement-Based Verification of Communicating Unstructured Code (English)
0 references
6 July 2018
0 references
