Edsger Dijkstra: La tarea del programador no es...
La tarea del programador no es solo escribir un programa, sino que su tarea principal es dar una prueba formal de que el programa que propone cumple la especificación funcional.
Edsger Dijkstra