Formal Methods and Software Engineering‚ 6th International Conference on Formal Engineering Methods‚ ICFEM 2004‚ Seattle‚ WA‚ USA‚ November 8−12‚ 2004‚ Proceedings
Details
| 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 |
Links
Related pages
|
People |