9 citations · 29 across the 14 of their papers we have counts for
1 paper · 2 filters
John Derrick, Eerke Boiten, Steve Reeves
We are proud to present the papers from the 17th Refinement Workshop, co-located with FM 2015 held in Oslo, Norway on June 22nd, 2015. Refinement is one of the cornerstones of a fo…