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