9 citations · 29 across the 14 of their papers we have counts for
1 paper · 2 filters
John Derrick, Eerke Boiten, Steve Reeves
The 16th BCS-FACS Refinement Workshop was co-located with iFM 2013 held in Turku, Finland on June 11th, 2013. This volume contains the 6 papers selected for presentation at the wor…