Proof of a Recursive Program: Quicksort

Détails bibliographiques
Auteurs principaux: Foley, M, Hoare, C
Format: Journal article
Publié: 1971