Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007

Eerke A. Boiten John Derrick Graeme Smith 0001 Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007 REFINE@IFM Electronic Notes in Theoretical Computer Science 201 Elsevier 2008 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/201/suppl/C db/journals/entcs/entcs201.html