Proof of a Recursive Program: Quicksort

Dettagli Bibliografici
Autori principali: Foley, M, Hoare, C
Natura: Journal article
Pubblicazione: 1971