14. ICFEM 2012: Kyoto, Japan

• 
  Toshiaki Aoki, Kenji Taguchi (Eds.): Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7635 ISBN 978-3-642-34280-6 [ contents ]

13. ICFEM 2011: Durham, UK

• 
  Shengchao Qin, Zongyan Qiu (Eds.): Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6991 ISBN 978-3-642-24558-9 [ contents ]

12. ICFEM 2010: Shanghai, China

• 
  Jin Song Dong, Huibiao Zhu (Eds.): Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6447 ISBN 978-3-642-16900-7 [ contents ]

11. ICFEM 2009: Rio de Janeiro, Brazil

• 
  Karin Breitman, Ana Cavalcanti (Eds.): Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5885 ISBN 978-3-642-10372-8 [ contents ]

10. ICFEM 2008: Kitakyushu-City, Japan

• 
  Shaoying Liu, T. S. E. Maibaum, Keijiro Araki (Eds.): Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science 5256 ISBN 978-3-540-88193-3 [ contents ]

9. ICFEM 2007: Boca Raton, FL, USA

• 
  Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (Eds.): Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4789 ISBN 978-3-540-76648-3 [ contents ]

8. ICFEM 2006: Macao, China

• 
  Zhiming Liu, Jifeng He (Eds.): Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4260 ISBN 3-540-47460-9 [ contents ]

7. ICFEM 2005: Manchester, UK

• 
  Kung-Kiu Lau, Richard Banach (Eds.): Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3785 ISBN 3-540-29797-9 [ contents ]

6. ICFEM 2004: Seattle, WA, USA

• 
  Jim Davies, Wolfram Schulte, Michael Barnett (Eds.): Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3308 ISBN 3-540-23841-7 [ contents ]

5. ICFEM 2003: Singapore

• 
  Jin Song Dong, Jim Woodcock (Eds.): Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science 2885 ISBN 3-540-20461-X [ contents ]

4. ICFEM 2002: Shanghai, China

• 
  Chris George, Huaikou Miao (Eds.): Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2495 ISBN 3-540-00029-1 [ contents ]

3. ICFEM 2000: York, England, UK

3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, 4-7 September 2000, York, England, UK, Proceedings. IEEE Computer Society, online publication: http://computer.org/proceedings/icfem/0822/0822toc.htm
Content

2. ICFEM 1998: Brisbane, Queensland, Australia

Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, 9-11 December, 1998, Brisbane, Queensland, Australia, Proceedings. IEEE Computer Society, online publication: http://computer.org/proceedings/icfem/9198/9198toc.htm
Content

1. ICFEM 1997: Hiroshima, Japan

First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, November 12-14, 1997, Hiroshima, Japan, Proceedings. IEEE Computer Society, online publication: http://computer.org/proceedings/icfem/8002/8002toc.htm
Content