Proof of a Recursive Program: Quicksort

ग्रंथसूची विवरण
मुख्य लेखकों: Foley, M, Hoare, C
स्वरूप: Journal article
प्रकाशित: 1971