| Original language | English |
|---|---|
| Place of Publication | Munich |
| Publisher | International Summer School |
| Number of pages | 18 |
| Publication status | Published - 1973 |
Publication series
| Name | EWD |
|---|---|
| Volume | 372 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
A simple axiomatic basis for programming language constructs
- E.W. Dijkstra
Research output: Book/Report › Report › Popular
205
Downloads
(Pure)