Proof of a Recursive Program: Quicksort

Chi tiết về thư mục
Những tác giả chính: Foley, M, Hoare, C
Định dạng: Journal article
Được phát hành: 1971