by International Conference on Integrated Formal Methods (3rd 2002 Turku, Finland)
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, i…