1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Yuan Feng, Li Zhou
Refinement is a fundamental technique in the verification and systematic development of computer programs. It supports a disciplined approach to software construction through stepw…