Proof of a Recursive Program: Quicksort

书目详细资料
Main Authors: Foley, M, Hoare, C
格式: Journal article
出版: 1971