Formal Methods and Software Engineering‚ 6th International Conference on Formal Engineering Methods‚ ICFEM 2004‚ Seattle‚ WA‚ USA‚ November 8−12‚ 2004‚ Proceedings
Book Title
Formal Methods and Software Engineering‚ 6th International Conference on Formal Engineering Methods‚ ICFEM 2004‚ Seattle‚ WA‚ USA‚ November 8−12‚ 2004‚ Proceedings
Editor
Jim Davies and Wolfram Schulte and Michael Barnett
ISBN
3−540−23841−7
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3308
Year
2004