Integrated Formal Methods (IFM)
10. IFM 2013: Turku, Finland
Einar Broch Johnsen, Luigia Petre (Eds.):
Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings.
Lecture Notes in Computer Science 7940 Springer 2013, ISBN 978-3-642-38612-1,978-3-642-38613-8
Contents 
9. IFM 2012: Pisa, Italy
John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (Eds.):
Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings.
Lecture Notes in Computer Science 7321 Springer 2012, ISBN 978-3-642-30728-7
Contents
8. IFM 2010: Nancy, France
Dominique Méry, Stephan Merz (Eds.):
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings.
Lecture Notes in Computer Science 6396 Springer 2010, ISBN 978-3-642-16264-0
Contents
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
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
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
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
- 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
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
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
Last update Fri May 24 03:59:28 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
