Inference Rules for Program Annotation (Q3914411)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inference Rules for Program Annotation |
scientific article |
Statements
Inference Rules for Program Annotation (English)
0 references
1981
0 references
program annotation
0 references
inference rules
0 references
invariant assertions
0 references
program correctness
0 references
verification
0 references
