Proof of a Recursive Program: Quicksort

Bibliographische Detailangaben
Hauptverfasser: Foley, M, Hoare, C
Format: Journal article
Veröffentlicht: 1971