Proof of a Structured Program: ‘The Sieve of Eratosthenes'

書目詳細資料
主要作者: Hoare, C
格式: Journal article
出版: 1972