Dijkstra Lecture:Reasoning About Programs (1990) #1 Post by byaruhaf » Tue, Apr 26, 2016, 12:01 AM UTC Dijkstra Lecture:Reasoning About Programs (1990)youtu.be