IEEE International Conference on Formal Engineering Methods

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. Lecture Notes in Computer Science 5256 Springer 2008, ISBN 978-3-540-88193-3
Contents BibTeX

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. Lecture Notes in Computer Science 4789 Springer 2007, ISBN 978-3-540-76648-3
Contents BibTeX

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. Lecture Notes in Computer Science 4260 Springer 2006, ISBN 3-540-47460-9
Contents BibTeX

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. Lecture Notes in Computer Science 3785 Springer 2005, ISBN 3-540-29797-9
Contents BibTeX

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. Lecture Notes in Computer Science 3308 Springer 2004, ISBN 3-540-23841-7
Contents BibTeX

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. Lecture Notes in Computer Science 2885 Springer 2003, ISBN 3-540-20461-X
Contents BibTeX

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. Lecture Notes in Computer Science 2495 Springer 2002, ISBN 3-540-00029-1
Contents BibTeX

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