Integrated formal methods
Subtitle: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
By: Michael Butler, Luigia Petre, Kaisa Sere, eds
Contributors: Butler, Michael, 1967-; Petre, Luigia, 1974-; Sere, K. 1954-
Series: Lecture notes in computer science -- 2335
Publisher: Springer
Published: 2002
Place of publication: Berlin; New York
Language: eng
Number of pages: 399
Subjects: Formal methods (Computer science) -- Congresses
Genres: Congresses
Notes: Includes bibliographical references and index