2 citations · 4 across the 6 of their papers we have counts for
1 paper · 2 filters
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…