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. Springer 2013 Lecture Notes in Computer Science 7940 ISBN 978-3-642-38612-1 [ 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. Springer 2012 Lecture Notes in Computer Science 7321 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. Springer 2010 Lecture Notes in Computer Science 6396 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. Springer 2009 Lecture Notes in Computer Science 5423 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. Springer 2007 Lecture Notes in Computer Science 4591 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. Springer 2005 Lecture Notes in Computer Science 3771 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. Springer 2004 Lecture Notes in Computer Science 2999 ISBN 3-540-21377-5 [ contents ]
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. Springer 2002 Lecture Notes in Computer Science 2335 ISBN 3-540-43703-7 [ contents ]
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. Springer 2000 Lecture Notes in Computer Science 1945 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 ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team