Reasoning about dynamically evolving process structures (Q1333406)
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: Reasoning about dynamically evolving process structures |
scientific article; zbMATH DE number 639147
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning about dynamically evolving process structures |
scientific article; zbMATH DE number 639147 |
Statements
Reasoning about dynamically evolving process structures (English)
0 references
10 September 1995
0 references
Hoare-style proof system
0 references
reasoning
0 references
