No label defined (Q4636558)
From MaRDI portal
scientific article; zbMATH DE number 6862039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 6862039 |
Statements
19 April 2018
0 references
relational Hoare logic
0 references
program equivalence
0 references
product programs
0 references
frame conditions
0 references
region logic
0 references
