dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML


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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Mar 15 03:36:57 2010 by Michael Ley (ley@uni-trier.de)