Dijkstra's interpretation of the approach to solving a problem of program correctness (Q4899919)
From MaRDI portal
scientific article; zbMATH DE number 6124051
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dijkstra's interpretation of the approach to solving a problem of program correctness |
scientific article; zbMATH DE number 6124051 |
Statements
Dijkstra's interpretation of the approach to solving a problem of program correctness (English)
0 references
10 January 2013
0 references
denotational interpretation
0 references
