FM2005: Formal Methods

FM2005: Formal Methods (2005) . Edited by J. Fitzgerald,, I. J. Hayes and A. Tarlecki. International Symposium of Formal Methods Europe, 18-22 July 2005, Newcastle, UK.

Title of proceedings FM2005: Formal Methods
Editor J. Fitzgerald,
I. J. Hayes
A. Tarlecki
Conference name International Symposium of Formal Methods Europe
Conference location Newcastle, UK
Conference dates 18-22 July 2005
Place published Berlin
Publisher Springer
Publication date 2005
Volume number 3582
Collection year 2005
Language eng
Subject E4
280302 Software Engineering
700199 Computer software and services not elsewhere classified

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:30 EST