No label defined (Q3793703)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1988
0 references
axiomatic proof systems
0 references
reasoning about program behavior
0 references
while- programs
0 references
semantic model
0 references
assertion language
0 references
