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

Détails bibliographiques
Auteur principal: Hoare, C
Format: Journal article
Publié: 1972