4 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Yuan Feng, Li Zhou, Yingte Xu
Refinement calculus provides a structured framework for the progressive and modular development of programs, ensuring their correctness throughout the refinement process. This pape…