Journal article icon

Journal article

Viewpoint − Retrospective: an axiomatic basis for computer programming

Actions

Access Document

Publisher copy:
10.1145/1562764.1562779

Authors


Journal:
Commun. ACM More from this journal
Volume:
52
Issue:
10
Pages:
30-32
Publication date:
2009-01-01
DOI:


UUID:
uuid:f57e2b80-26f1-4692-8854-a8f144e91dfa
Local pid:
cs:8378
Deposit date:
2015-03-31
ARK identifier:

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP