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

Detalhes bibliográficos
Autor principal: Hoare, C
Formato: Journal article
Publicado em: 1972