4 ms·
Do you mean something specific or his general approach to program correctness i.e. guarded commands, weakest precondition calculus etc. ?
by rramadass 11mo ago
Do you mean something specific or his general approach to program correctness i.e. guarded commands, weakest precondition calculus etc. ?