Formal reasoning about modules, reuse and their correctness (Q4632313)
From MaRDI portal
scientific article; zbMATH DE number 7048485
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal reasoning about modules, reuse and their correctness |
scientific article; zbMATH DE number 7048485 |
Statements
Formal reasoning about modules, reuse and their correctness (English)
0 references
29 April 2019
0 references
0 references
0 references