12 citations · 15 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
Proceedings 18th Refinement Workshop
John Derrick, Brijesh Dongol, Steve Reeves
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is the process of developing a more detailed design or implementation from an abstrac…
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…