Book:Journal/Communications of the Association for Computing Machinery

From ProofWiki
Jump to navigation Jump to search

Communications of the Association for Computing Machinery

(Commun. ACM)

Publisher: Association for Computing Machinery


Dates

Started publication: $1957$
(current)

Featured Articles

  • 1971: C.A.R. HoareProof of a program: FIND (Vol. 14: 39 – 45)
  • 1975: Edsger W. DijkstraGuarded commands, nondeterminacy and formal derivation of programs (Vol. 18: 453 – 457)