12 citations · 15 across the 6 of their papers we have counts for
1 paper · 1 filter
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…