Refine 2007 Participants' Proceedings
Eerke Boiten, John Derrick, Graeme Smith · Kent Academic Repository (University of Kent) · 2007
Participants' proceedings. They are not available electronically, as they will appear in http://www.entcs.org soon. Until then, please mailto:[email protected] to request a paper copy. See http://www.softeng.ox.ac.uk/ifm2007/refinement.html for the workshop programme. There will also be a special issue of Formal Aspects of Computing dedicated to this workshop, but that will not appear before mid 2008.