Home → Magazine Archive → August 1963 (Vol. 6, No. 8) → Certification of algorithms 63, 64 and 65, partition... → Abstract

Certification of algorithms 63, 64 and 65, partition, quicksort, and find

By B. Randell, L. J. Russell

Communications of the ACM, Vol. 6 No. 8, Page 446
10.1145/366707.367561


Save PDF

There is no abstract available for this article.

0 Comments

No entries found