1 citations · 1 across the 6 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…