12 citations · 15 across the 6 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…