Blog
About
Search
Advanced search

83
views
0
references
 Top references
291
cited by
 Most cited
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      4,485
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      An axiomatic basis for computer programming

      Author(s):

      Publication date (Print):

      Journal: Communications of the ACM

      Publisher: Association for Computing Machinery (ACM)

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Journal
          Title: Communications of the ACM
          Abbreviated Title: Commun. ACM
          Publisher: Association for Computing Machinery (ACM)
          ISSN (Print): 00010782
          Publication date (Print): October 1969
          Volume: 12
          Issue: 10
          Pages: 576-580
          Article
          DOI: 10.1145/363235.363259
          Product

          Data availability:

          Comments

          Comment on this article