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

Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007) (2007) . Edited by Eerke Boiten, John Derrick and Graeme Smith. International Refinement Workshop (Refine 2007), 2 July, 2007, Oxford, United Kingdom.

Title of proceedings Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007)
Editor Eerke Boiten
John Derrick
Graeme Smith
Conference name International Refinement Workshop (Refine 2007)
Conference location Oxford, United Kingdom
Conference dates 2 July, 2007
ISBN 1571-0661
Place published Amsterdam, The Netherlands
Publisher Elsevier
Publication date 2007
Volume number 201
Start page 1
End page 264
Total pages 264
Collection year 2009
Language eng
Subject 080309 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E4
Q-Index Status Provisional Code
Institutional Status UQ
Additional Notes Electronic Notes in Theoretical Computer Science Volume 201, Pages 1-264 (7 March 2008)

Document type: Conference Proceedings
Collection: School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 30 Nov 2009, 12:06:39 EST by Tracey Miller on behalf of School of Information Technol and Elec Engineering