Edsger W. Dijkstra – Reasoning About Programs [video] #1 Post by rosseitsa » Tue, Mar 25, 2025, 9:31 AM UTC Edsger W. Dijkstra – Reasoning About Programs [video]youtube.com