View of Dijkstra's interpretation of the approach to solving a problem of program correctness

Return to Article Details Dijkstra's interpretation of the approach to solving a problem of program correctness Download Download PDF