2 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
The notion of refinement plays an important role in software engineering. It is the basis of a stepwise development methodology in which the correctness of a system can be establis…