FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Eriksson, Lars-Henrik; Eriksson, Lars-Henrik; Lindsay, Peter A.; Lindsay, Peter A. (Springer Berlin Heidelberg : Imprint: Springer, 2002)