World Congress on Formal Methods (FM)
Formal Methods Europe
FM 2009: Eindhoven, The Netherlands
Ana Cavalcanti, Dennis Dams (Eds.):
FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings.
Lecture Notes in Computer Science 5850 Springer 2009, ISBN 978-3-642-05088-6
Contents 
- FM 2009 Home Page
FM 2008: Turku, Finland
Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere (Eds.):
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings.
Lecture Notes in Computer Science 5014 Springer 2008, ISBN 978-3-540-68235-6
Contents
- FM 2008 Home Page
FM 2006: Hamilton, Canada
Jayadev Misra, Tobias Nipkow, Emil Sekerinski (Eds.):
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings.
Lecture Notes in Computer Science 4085 Springer 2006, ISBN 3-540-37215-6
Contents
- FM 2006 Home Page
FM 2005: Newcastle upon Tyne, UK
John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (Eds.):
FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings.
Lecture Notes in Computer Science 3582 Springer 2005, ISBN 3-540-27882-6
Contents
- FM 2005 Home Page
FME 2003: Pisa, Italy
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.):
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings.
Lecture Notes in Computer Science 2805 Springer 2003, ISBN 3-540-40828-2
Contents
- FM 2003 Home Page
FM 2002: Copenhagen, Denmark
Lars-Henrik Eriksson, Peter A. Lindsay (Eds.):
FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings.
Lecture Notes in Computer Science 2391 Springer 2002, ISBN 3-540-43928-5
Contents
- part of FLoC 2002
FME 2001: Berlin, Germany
José Nuno Oliveira, Pamela Zave (Eds.):
FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings.
Lecture Notes in Computer Science 2021 Springer 2001, ISBN 3-540-41791-5
Contents
FM 1999: Toulouse, France
Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.):
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I.
Lecture Notes in Computer Science 1708 Springer 1999, ISBN 3-540-66587-0
Contents
Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.):
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II.
Lecture Notes in Computer Science 1709 Springer 1999, ISBN 3-540-66588-9
Contents
FM-Trends 1998: Boppard, Germany
Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (Eds.):
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings.
Lecture Notes in Computer Science 1641 Springer 1999, ISBN 3-540-66462-9
Contents
4. FME 1997: Graz, Austria
John S. Fitzgerald, Cliff B. Jones, Peter Lucas (Eds.):
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings.
Lecture Notes in Computer Science 1313 Springer 1997, ISBN 3-540-63533-5
Contents
3. FME 1996: Oxford, UK
Marie-Claude Gaudel, Jim Woodcock (Eds.):
FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings.
Lecture Notes in Computer Science 1051 Springer 1996, ISBN 3-540-60973-3
Contents
2. FME 1994: Barcelona, Spain
Maurice Naftalin, B. Tim Denvir, Miquel Bertran (Eds.):
FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings.
Lecture Notes in Computer Science 873 Springer 1994, ISBN 3-540-58555-9
Contents
1. FME 1993: Odense, Denmark
Jim Woodcock, Peter Gorm Larsen (Eds.):
FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings.
Lecture Notes in Computer Science 670 Springer 1993, ISBN 3-540-56662-7
Contents
4. VDM Europe 1991: Noordwijkerhout, The Netherlands
Søren Prehn, W. J. Toetenel (Eds.):
VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions.
Lecture Notes in Computer Science 551 Springer 1991, ISBN 3-540-54834-3
Contents
Søren Prehn, W. J. Toetenel (Eds.):
VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 2: Tutorials.
Lecture Notes in Computer Science 552 Springer 1991, ISBN 3-540-54868-8
Contents
3. VDM Europe 1990: Kiel, Germany
Dines Bjørner, C. A. R. Hoare, Hans Langmaack (Eds.):
VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings.
Lecture Notes in Computer Science 428 Springer 1990, ISBN 3-540-52513-0
Contents
2. VDM Europe 1988: Dublin, Ireland
Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones (Eds.):
VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings.
Lecture Notes in Computer Science 328 Springer 1988, ISBN 3-540-50214-9
Contents
1. VDM Europe 1987: Brussels, Belgium
Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (Eds.):
VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings.
Lecture Notes in Computer Science 252 Springer 1987, ISBN 3-540-17654-3
Contents
Program Specification 1981: Aarhus, Denmark
Jørgen Staunstrup (Ed.):
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981.
Lecture Notes in Computer Science 134 Springer 1982, ISBN 3-540-11490-4
Contents
The Use of Formal Specification of Software 1979: Berlin, Germany
Helmut K. Berg, Wolfgang K. Giloi (Eds.):
The Use of Formal Specification of Software, June 25-27, 1979, Berlin.
Informatik-Fachberichte 36 Springer 1980, ISBN 3-540-10442-9
Contents
The Vienna Development Method: The Meta-Language 1978
Dines Bjørner, Cliff B. Jones (Eds.):
The Vienna Development Method: The Meta-Language.
Lecture Notes in Computer Science 61 Springer 1978, ISBN 3-540-08766-4
Contents
Copyright © Mon Mar 15 03:36:57 2010
by Michael Ley (ley@uni-trier.de)
