Integrated Formal Methods

Integrated Formal Methods (2004) . Edited by E. Boiten, J. Derrick and G. P. Smith. Integrated Formal Methods, 4-7 April, 2004, Canterbury, UK.

Title of proceedings Integrated Formal Methods
Editor E. Boiten
J. Derrick
G. P. Smith
Conference name Integrated Formal Methods
Conference location Canterbury, UK
Conference dates 4-7 April, 2004
ISBN 3540213775
ISSN 0302-9743
Place published Berlin, Germany
Publisher Springer-Verlag
Publication date 2004
Volume number 2999
Collection year 2004
Language eng
Subject E4
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E4
Q-Index Status Provisional Code
Institutional Status Unknown

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, 27 Aug 2007, 13:02:50 EST