|
|
Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
infobook 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
BibTeX
related pages
|
|
|
|
