Boiten, E.A. and Derrick, J. and Smith, G. (2007) Refine 2007 Participants' Proceedings. Technical report. University of Kent, Canterbury, Canterbury, Kent
| The full text of this publication is not available from this repository. (Contact us about this Publication) |
Abstract
Participants' proceedings. They are not available electronically, as they will appear in http://www.entcs.org soon. Until then, please mailto:E.A.Boiten@kent.ac.uk 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.
| Item Type: | Monograph (Technical report) |
|---|---|
| Additional information: | Technical Report 4-07 |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group |
| Depositing User: | Mark Wheadon |
| Date Deposited: | 24 Nov 2008 18:04 |
| Last Modified: | 12 Jun 2012 13:58 |
| Resource URI: | http://kar.kent.ac.uk/id/eprint/14568 (The current URI for this page, for reference purposes) |
- Depositors only (login required):
