IFM '99
Subtitle: proceedings of the 1st International Conferenceon Integrated Formal Methods, York, 28-29 June 1999
By: Keijiro Araki, Andy Galloway, and Kenji Taguchi (eds.)
Contributors: Araki, Keijirō, 1954-; Galloway, Andy, 1968-; Taguchi, Kenji, 1956-
Publisher: Springer
Published: 1999
Place of publication: London; New York
Language: eng
Number of pages: 476
Subjects: Formal methods (Computer science) -- Congresses
Genres: Congresses
Notes: Includes bibliographical references