dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

2. IFM 2000: Dagstuhl Castle, Germany

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Mar 15 03:41:47 2010 by Michael Ley (ley@uni-trier.de)