Integrated Formal Methods (IFM)

13. IFM 2017: Torino, Italy

• 
  Nadia Polikarpova, Steve Schneider:
  Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Lecture Notes in Computer Science 10510, Springer 2017, ISBN 978-3-319-66844-4 [contents]
• 
  Adrian Francalanza, Gordon J. Pace:
  Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. EPTCS 254, 2017 [contents]
• 
  Lukas Bulwahn, Maryam Kamali, Sven Linker:
  Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017. EPTCS 257, 2017 [contents]

12. IFM 2016: Reykjavik, Iceland

• 
  Erika Ábrahám, Marieke Huisman:
  Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science 9681, Springer 2016, ISBN 978-3-319-33692-3 [contents]
• 
  Luca Aceto, Adrian Francalanza, Anna Ingólfsdóttir:
  Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016. EPTCS 208, 2016 [contents]
• 
  Razieh Behjati, Ahmed Elmokashfi:
  Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016. EPTCS 228, 2016 [contents]
• 
  Mehdi Kargahi, Ashutosh Trivedi:
  Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavík, Iceland, June 4-5, 2016. EPTCS 232, 2016 [contents]

11. IFM 2014: Bertinoro, Italy

• 
  Elvira Albert, Emil Sekerinski:
  Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science 8739, Springer 2014, ISBN 978-3-319-10180-4 [contents]

10. IFM 2013: Turku, Finland

• 
  Einar Broch Johnsen, Luigia Petre:
  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 [contents]
• 
  John Derrick, Eerke A. Boiten, Steve Reeves:
  Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. EPTCS 115, 2013 [contents]

9. IFM 2012: Pisa, Italy

• 
  John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne:
  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:
  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:
  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:
  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:
  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

IFM Home Page

• 
  Eerke A. Boiten, John Derrick, Graeme Smith:
  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]

3. IFM 2002: Turku, Finland

• 
  Michael J. Butler, Luigia Petre, Kaisa Sere:
  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]

2. IFM 2000: Dagstuhl Castle, Germany

• 
  Wolfgang Grieskamp, Thomas Santen, Bill Stoddart:
  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:
  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]