14 citations · 49 across the 12 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…