Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Integrated Formal Methods Turku, Finland
Other Authors:	Butler, Michael, 1967-, Petre, Luigia, 1974-, Sere, K. (Kaisa), 1954-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science. 2335.
Subjects:	Formal methods (Computer science) > Congresses.

Remote Storage