4 citations · 9 across the 4 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.OH2016
Big Data Refinement
Eerke A. Boiten
"Big data" has become a major area of research and associated funding, as well as a focus of utopian thinking. In the still growing research community, one of the favourite optimis…
cs.LO2016
Proceedings 17th International Workshop on Refinement
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…