Do you mean something specific or his general approach to program correctness i....

		rramadass 41 days ago \| parent \| context \| favorite \| on: E.W.Dijkstra Archive Do you mean something specific or his general approach to program correctness i.e. guarded commands, weakest precondition calculus etc. ?