logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

Viewpoint Retrospective: An Axiomatic Basis for Computer Programming

delete2009-10-01
delete15
delete
OA
AI
H
Hoare, C. A. R. *
DOI：10.1145/1562764.1562779delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En

Journal

Communications of the ACM cover
Communications of the ACM
IF:
12.2
Papers:
1.2W
Citations:
3.7W

Organization

M
Microsoft
Scholars:
3.0K
Papers: 2.7K
Citations: 7
Cited Papers

Cited Papers

No cited papers available