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