Home → Magazine Archive → May 1983 (Vol. 26, No. 5) → Technical communications: Critiquing a critique of... → Abstract

Technical communications: Critiquing a critique of Hoare's programming logics

By Yuri Gurevich, Mark Millard

Communications of the ACM, Vol. 26 No. 5, Pages 385-386
10.1145/69586.383455


Save PDF

There is no abstract available for this article.

0 Comments

No entries found