Proof of a Program: FIND

Bibliografski detalji
Glavni autor: Hoare, C
Format: Journal article
Izdano: 1971