Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture Notes in Computer Science) by Judi M.T. Romijn
English | June 27, 2008 | ISBN: 3540304924 | 415 Pages | PDF | 4 MB
This is the 5th edition of the International Conference on Integrated Formal Methods (IFM). Previous IFM conferences were held in York (June 1999), Dagstuhl (November 2000), Turku (May 2002) and Canterbury (April 2004). This year’s IFM was held in December 2005 on the campus of the Technische Universiteit Eindhoven in The Netherlands.
This year IFM received 40 submissions, from which 19 high-quality papers were selected by the Program Committee.