109 citations · 471 across the 31 of their papers we have counts for
1 paper · 2 filters
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…