Proof of a Recursive Program: Quicksort

מידע ביבליוגרפי
Main Authors: Foley, M, Hoare, C
פורמט: Journal article
יצא לאור: 1971