Formal Methods Europe

FM 2012: Paris, France

• 
  Dimitra Giannakopoulou, Dominique Méry (Eds.): FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7436 ISBN 978-3-642-32758-2 [ contents ]

FM 2011: Limerick, Ireland

• 
  Michael Butler, Wolfram Schulte (Eds.): FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6664 ISBN 978-3-642-21436-3 [ contents ]

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. Springer 2009 Lecture Notes in Computer Science 5850 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. Springer 2008 Lecture Notes in Computer Science 5014 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. Springer 2006 Lecture Notes in Computer Science 4085 ISBN 3-540-37215-6 [ contents ]

- FM 2006 Home Page

FM 2005: Newcastle upon Tyne, UK

• 
  John A. Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (Eds.): FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3582 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. Springer 2003 Lecture Notes in Computer Science 2805 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. Springer 2002 Lecture Notes in Computer Science 2391 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. Springer 2001 Lecture Notes in Computer Science 2021 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. Springer 1999 Lecture Notes in Computer Science 1708 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. Springer 1999 Lecture Notes in Computer Science 1709 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. Springer 1999 Lecture Notes in Computer Science 1641 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. Springer 1997 Lecture Notes in Computer Science 1313 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. Springer 1996 Lecture Notes in Computer Science 1051 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. Springer 1994 Lecture Notes in Computer Science 873 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. Springer 1993 Lecture Notes in Computer Science 670 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. Springer 1991 Lecture Notes in Computer Science 551 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. Springer 1991 Lecture Notes in Computer Science 552 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. Springer 1990 Lecture Notes in Computer Science 428 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. Springer 1988 Lecture Notes in Computer Science 328 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. Springer 1987 Lecture Notes in Computer Science 252 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. Springer 1982 Lecture Notes in Computer Science 134 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. Springer 1980 Informatik-Fachberichte 36 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. Springer 1978 Lecture Notes in Computer Science 61 ISBN 3-540-08766-4 [ contents ]