No label defined (Q5240186)
From MaRDI portal
scientific article; zbMATH DE number 7121901
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7121901 |
Statements
24 October 2019
0 references
operational semantics
0 references
denotational semantics
0 references
bialgebras
0 references
distributive laws
0 references
adequacy
0 references
theorem proving
0 references
PVS
0 references
while
0 references
