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