12 citations · 15 across the 6 of their papers we have counts for
1 paper · 2 filters
John Derrick, Brijesh Dongol, Steve Reeves
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is the process of developing a more detailed design or implementation from an abstrac…