5 citations · 22 across the 32 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…