## Formal Methods (FM)

1 × Australia

1 × Austria

1 × Belgium

1 × Canada

1 × China

3 × Denmark

3 × Finland

5 × France

5 × Germany

1 × Greece

1 × India

2 × Ireland

17 × Italy

1 × Norway

1 × Singapore

1 × South Africa

2 × Spain

4 × The Netherlands

7 × United Kingdom

1 × Uruguay

1 × Vietnam

257 ×#verification

223 ×#specification

151 ×#using

144 ×#formal method

136 ×#modelling

102 ×#analysis

91 ×#model checking

84 ×#refinement

83 ×#testing

72 ×#semantics

1 × Austria

1 × Belgium

1 × Canada

1 × China

3 × Denmark

3 × Finland

5 × France

5 × Germany

1 × Greece

1 × India

2 × Ireland

17 × Italy

1 × Norway

1 × Singapore

1 × South Africa

2 × Spain

4 × The Netherlands

7 × United Kingdom

1 × Uruguay

1 × Vietnam

257 ×#verification

223 ×#specification

151 ×#using

144 ×#formal method

136 ×#modelling

102 ×#analysis

91 ×#model checking

84 ×#refinement

83 ×#testing

72 ×#semantics

### 5 brands:

### 1734 papers in 64 issues:

- 2015
- Proceedings of the 20th International Symposium of Formal Methods (FM 2015)
- Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015)
- Advanced Lectures of the 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Multicore Programming (SFM 2015)
- 2014
- Proceedings of the 19th International Symposium of Formal Methods (FM 2014)
- Proceedings of the 11th International Conference on Integrated Formal Methods (IFM 2014)
- Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014)
- Advanced Lectures of the 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Executable Software Models (SFM 2014)
- 2013
- Proceedings of the 10th International Conference on Integrated Formal Methods (IFM 2013)
- Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013)
- Advanced Lectures of the 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Dynamical Systems (SFM 2013)
- 2012
- Proceedings of the 18th International Symposium of Formal Methods (FM 2012)
- Proceedings of the Ninth International Conference on Integrated Formal Methods (IFM 2012)
- Proceedings of the 10th International Conference on Software Engineering and Formal Methods (SEFM 2012)
- Advanced Lectures of the 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Model-Driven Engineering (SFM 2012)
- 2011
- Proceedings of the 17th International Symposium of Formal Methods (FM 2011)
- Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM 2011)
- Advanced Lectures of the 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Eternal Networked Software Systems (SFM 2011)
- 2010
- Proceedings of the Eighth International Conference on Integrated Formal Methods (IFM 2010)
- Proceedings of the Eighth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)
- Advanced Lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010)
- 2009
- Proceedings of the 16th International Symposium of Formal Methods: Second World Congress (FM 2009)
- Proceedings of the Seventh International Conference on Integrated Formal Methods (IFM 2009)
- Selected papers on Integrated Formal Methods (iFM09) (IFM 2009)
- Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009)
- Advanced Lectures of the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Web Services (SFM 2009)
- 2008
- Proceedings of the 15th International Symposium of Formal Methods (FM 2008)
- Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008)
- Advanced Lectures of the Eighth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Computational Systems Biology (SFM 2008)
- 2007
- Proceedings of the Sixth International Conference on Integrated Formal Methods (IFM 2007)
- Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
- Advanced Lectures of the Seventh International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Performance Evaluation (SFM 2007)
- 2006
- Proceedings of the 14th International Symposium of Formal Methods (FM 2006)
- Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006)
- Advanced Lectures of the Sixth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Hardware Verification (SFM 2006)
- 2005
- Proceedings of the 13th International Symposium of Formal Methods Europe (FM 2005)
- Proceedings of the Fifth International Conference on Integrated Formal Methods (IFM 2005)
- Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)
- Advanced Lectures of the Fifth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Mobile Computing (SFM-Moby 2005)
- 2004
- Proceedings of the Fourth International Conference on Integrated Formal Methods (IFM 2004)
- Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004)
- Advanced Lectures of the Fourth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for the Design of Real-Time Systems (SFM-RT 2004)
- 2003
- Proceedings of the 12th International Symposium of Formal Methods Europe (FME 2003)
- Proceedings of the First International Conference on Software Engineering and Formal Methods (SEFM 2003)
- Advanced Lectures of the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Software Architectures (SFM 2003)
- 2002
- Proceedings of the 11th International Symposium of Formal Methods Europe: Getting IT Right (FME 2002)
- Proceedings of the Third International Conference on Integrated Formal Methods (IFM 2002)
- 2001
- Proceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity (FME 2001)
- 2000
- Proceedings of the Second International Conference on Integrated Formal Methods (IFM 2000)
- 1999
- Proceedings of the World Congress on Formal Methods in the Development of Computing Systems. Volume I (World Congress on Formal Methods 1999)
- Proceedings of the World Congress on Formal Methods in the Development of Computing Systems. Volume II (World Congress on Formal Methods 1999)
- Proceedings of the First International Conference on Integrated Formal Methods (IFM 1999)
- 1998
- Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 1998)
- 1997
- Proceedings of the Fourth International Symposium of Formal Methods Europe: Industrial Applications and Strengthened Foundations of Formal Methods (FME 1997)
- 1996
- Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods (FME 1996)
- 1994
- Proceedings of the Second International Symposium of Formal Methods Europe: Industrial Benefit of Formal Methods (FME 1994)
- 1993
- Proceedings of the First International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods (FME 1993)
- 1991
- Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 1: Conference Contributions (VDM Europe (1) 1991)
- Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 2: Tutorials (VDM Europe (2) 1991)
- 1990
- Proceedings of the Third International Symposium on Vienna Development Method and Z: Formal Methods in Software Development (VDM Europe 1990)
- 1988
- Proceedings of the Second European Symposium on Vienna Development Method: The Way Ahead (VDM Europe 1988)
- 1987
- Proceedings of the First European Symposium on Vienna Development Method: A Formal Method at Work (VDM Europe 1987)
- 1981
- Proceedings of a Workshop on Program Specification (PS 1981)
- 1979
- The Use of Formal Specification of Software (FSS 1979)
- 1978
- The Vienna Development Method: The Meta-Language (VDM 1978)