Integrated Formal Methods (IFM)
7. IFM 2009: Düsseldorf, Germany
Michael Leuschel, Heike Wehrheim (Eds.):
Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings.
Lecture Notes in Computer Science 5423 Springer 2009, ISBN 978-3-642-00254-0
Contents BibTeX
6. IFM 2007: Oxford, UK
Jim Davies, Jeremy Gibbons (Eds.):
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings.
Lecture Notes in Computer Science 4591 Springer 2007, ISBN 978-3-540-73209-9
Contents BibTeX
5. IFM 2005: Eindhoven, The Netherlands
Judi Romijn, Graeme Smith, Jaco van de Pol (Eds.):
Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings.
Lecture Notes in Computer Science 3771 Springer 2005, ISBN 3-540-30492-4
Contents BibTeX
4. IFM 2004: Canterbury, Kent, England
Eerke A. Boiten, John Derrick, Graeme Smith (Eds.):
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings.
Lecture Notes in Computer Science 2999 Springer 2004, ISBN 3-540-21377-5
Contents BibTeX
- IFM Home Page
3. IFM 2002: Turku, Finland
Michael J. Butler, Luigia Petre, Kaisa Sere (Eds.):
Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings.
Lecture Notes in Computer Science 2335 Springer 2002, ISBN 3-540-43703-7
Contents BibTeX
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (Eds.):
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings.
Lecture Notes in Computer Science 1945 Springer 2000, ISBN 3-540-41196-8
Contents BibTeX
1. IFM 1999: York, UK
Keijiro Araki, Andy Galloway, Kenji Taguchi (Eds.):
Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999.
Springer 1999, ISBN 1-85233-107-0
Contents BibTeX
Copyright © Sat May 16 23:23:12 2009
by Michael Ley (ley@uni-trier.de)