Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings - Davies, Jim; Davies, Jim; Schulte, Wolfram; Schulte, Wolfram; Barnett, Mike; Barnett, Mike (Springer Berlin Heidelberg : Imprint: Springer, 2004)