Integrated formal methods
Subtitle: 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
By: Jim Davies, Jeremy Gibbons (eds.).
Contributors: Davies, Jim, 1964-; Gibbons, Jeremy, 1966-
Series: Lecture notes in computer science -- 4591.; LNCS sublibrary
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 660
ISBN-13: 9783540732099
Subjects: Formal methods (Computer science) -- Congresses
Genres: Congresses.
Other titles: IFM 2007.
Notes: Includes bibliographical references and author index.