Formal methods and software engineering [electronic resource] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.).

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004. The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 1...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Authors:	International Conference on Formal Engineering Methods Seattle, Wash., LINK (Online service)
Other Authors:	Davies, Jim, 1964-, Schulte, Wolfram, Barnett, Mike, 1957-
Other title:	6th International Conference on Formal Engineering Methods ICFEM 2004
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer-Verlag, ©2004.
Series:	Lecture notes in computer science ; 3308.
Subjects:	Formal methods (Computer science) > Congresses. Software engineering > Congresses. Formal methods (Computer science) Software engineering. Conference papers and proceedings.