Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007)

Boiten, E.A. and Derrick, J. and Smith, G., eds. (2008) Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science , 201 . Elsevier, 264 pp. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://www.sciencedirect.com/science?_ob=Publicati...
Item Type: Edited book
Additional information: ISSN 1571-0661
Subjects: Q Science > QA Mathematics (inc Computing science) > QA150 Algebra
Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: Suzanne Duffy
Date Deposited: 03 Oct 2008 13:47
Last Modified: 14 Jan 2010 14:11
Resource URI: http://kar.kent.ac.uk/id/eprint/3501 (The current URI for this page, for reference purposes)
  • Depositors only (login required):