Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - Butler, Michael; Butler, Michael; Petre, Luigia; Petre, Luigia; Sere, Kaisa; Sere, Kaisa (Springer Berlin Heidelberg : Imprint: Springer, 2002)