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

Dades bibliogràfiques
Autor principal: Hoare, C
Format: Journal article
Publicat: 1972