"It is hard to write even the smallest piece of code correctly."

Next Quote

It is a mistake to think that programmers wares are programs. Programmers have to produce trustworthy solutions and present it in the form of cogent arguments. Programs source code is just the accompanying material to which these arguments are to be applied to.

— Edsger Dijkstra