Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings - Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie ((Lecture Notes in Computer Science))