17 citations · 27 across the 9 of their papers we have counts for
1 paper · 1 filter
Andreas Griesmayer, Zhiming Liu, Charles Morisset +1
The refinement calculus provides a methodology for transforming an abstract specification into a concrete implementation, by following a succession of refinement rules. These rules…