Integrated Formal Methods

Integrated Formal Methods (2005) . Edited by J. Romijn, G. P. Smith and J. van de Pol. 5th International Conference on Integrated Formal Methods (IFM 2005), 29 November - 2 December 2005, Eindhoven, The Netherlands.

Title of proceedings Integrated Formal Methods
Editor J. Romijn
G. P. Smith
J. van de Pol
Conference name 5th International Conference on Integrated Formal Methods (IFM 2005)
Conference location Eindhoven, The Netherlands
Conference dates 29 November - 2 December 2005
ISBN 9783540322405
ISSN 0302-9743
Place published Berlin, Germany
Publisher Springer-Verlag
Publication date 2005
Volume number 3771
Collection year 2005
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, 23:09:50 EST