Dijsktra, Edsger
(Informático, 1930-2002)
Las pruebas de un programa demuestran la presencia de errores, no su ausencia