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. author's response

By Michael J. O'Donnell

Communications of the ACM, Vol. 26 No. 5, Page 386
10.1145/69586.383458


Save PDF

There is no abstract available for this article.

0 Comments

No entries found