Edsger W. Dijkstra – Reasoning About Programs [video]youtube.com3 points·rosseitsa··0 commentsOpen articleSaveView on HN