- Journal:
- Communications of the ACM
- Volume:
- 12
- Issue:
- 10
- Pages:
- 576-580
- Publication date:
- 1969-10-01
- URN:
-
uuid:fd8af012-6a80-49e1-957d-f440a0029c43
- Local pid:
- cs:8205
- Copyright date:
- 1969
Journal article
An Axiomatic Basis for Computer Programming
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record