Dijsktra, Edsger

(Informático, 1930-2002)

Las pruebas de un programa demuestran la presencia de errores, no su ausencia