The Humble Programmer (EWD340) - Edsger W. Dijkstra Type: paper View reference Related Concepts Correct by Construction ← Back to all references