You need to sign in or sign up before continuing.

Integrated Formal Methods: Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings. by

Lecture Notes in Computer Science

Integrated Formal Methods: Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings.

401 pages paperback

1 edition

nonfiction computer science design informative medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

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, is the former capital of Finland. The ? conference ...

Show More

Community Reviews

Loading...

Content Warnings

Loading...