109 citations · 471 across the 31 of their papers we have counts for
1 paper · 1 filter
Mingsheng Ying
Hoare logic is a foundation of axiomatic semantics of classical programs and it provides effective proof techniques for reasoning about correctness of classical programs. To offer…