Reasoning about dynamically evolving process structures (Q1333406)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning about dynamically evolving process structures |
scientific article |
Statements
Reasoning about dynamically evolving process structures (English)
0 references
10 September 1995
0 references
Hoare-style proof system
0 references
reasoning
0 references
