Proof of a Recursive Program: Quicksort

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Foley, M, Hoare, C
Ձևաչափ: Journal article
Հրապարակվել է: 1971