## Formal Methods (FM)

1 × Australia

3 × Austria

1 × Belgium

2 × Brazil

2 × Canada

1 × China

4 × Denmark

3 × Finland

10 × France

7 × Germany

1 × Greece

1 × India

2 × Ireland

20 × Italy

4 × Japan

1 × Norway

3 × Poland

2 × Serbia

1 × Singapore

1 × South Africa

5 × Spain

8 × The Netherlands

3 × USA

10 × United Kingdom

1 × Uruguay

1 × Vietnam

257 ×#verification

223 ×#specification

151 ×#using

145 ×#formal method

136 ×#modelling

102 ×#analysis

91 ×#model checking

84 ×#refinement

83 ×#testing

72 ×#semantics

3 × Austria

1 × Belgium

2 × Brazil

2 × Canada

1 × China

4 × Denmark

3 × Finland

10 × France

7 × Germany

1 × Greece

1 × India

2 × Ireland

20 × Italy

4 × Japan

1 × Norway

3 × Poland

2 × Serbia

1 × Singapore

1 × South Africa

5 × Spain

8 × The Netherlands

3 × USA

10 × United Kingdom

1 × Uruguay

1 × Vietnam

257 ×#verification

223 ×#specification

151 ×#using

145 ×#formal method

136 ×#modelling

102 ×#analysis

91 ×#model checking

84 ×#refinement

83 ×#testing

72 ×#semantics

### 8 brands:

### 3329 papers in 119 issues:

- 2019
- Third World Congress on Formal Methods: The Next 30 Years (FM 2019)
- Proceedings of the Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
- Proceedings of the 15th International Conference on Integrated Formal Methods (IFM 2019)
- Proceedings of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019)
- 2018
- Proceedings of the 22nd International Symposium of Formal Methods (FM 2018)
- Proceedings of the Third International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
- Proceedings of the 14th International Conference on Integrated Formal Methods (IFM 2018)
- Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM 2018)
- 2017
- Proceedings of the Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
- Proceedings of the 13th International Conference on Integrated Formal Methods (IFM 2017)
- Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017)
- 2016
- Proceedings of the 21st International Symposium of Formal Methods (FM 2016)
- Proceedings of the First International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
- Proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016)
- Proceedings of the 14th International Conference on Software Engineering and Formal Methods (SEFM 2016)
- 2015
- Proceedings of the 20th International Symposium of Formal Methods (FM 2015)
- Revised Selected Papers of SEFM Collocated Workshops (Second Human-Oriented Formal Methods Workshop) (HOFM 2015)
- Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 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)
- Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)
- 2014
- Proceedings of the 19th International Symposium of Formal Methods (FM 2014)
- Revised Selected Papers of SEFM Collocated Workshops (First Human-Oriented Formal Methods Workshop) (HOFM 2014)
- Proceedings of the 11th International Conference on Integrated Formal Methods (IFM 2014)
- Proceedings of the Joint International Conference of the 25th International Conference on Rewriting Techniques and Applications and the 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 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 24th International Conference on Rewriting Techniques and Applications (RTA 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)
- Proceedings of the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 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 23rd International Conference on Rewriting Techniques and Applications (RTA 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 22nd International Conference on Rewriting Techniques and Applications (RTA 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)
- Proceedings of the 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011)
- 2010
- Proceedings of the Eighth International Conference on Integrated Formal Methods (IFM 2010)
- Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 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 20th International Conference on Rewriting Techniques and Applications (RTA 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)
- Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications (TLCA 2009)
- 2008
- Proceedings of the 15th International Symposium of Formal Methods (FM 2008)
- Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 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 18th International Conference on Term Rewriting and Applications (RTA 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)
- Proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications (TLCA 2007)
- 2006
- Proceedings of the 14th International Symposium of Formal Methods (FM 2006)
- Proceedings of the 17th International Conference on Term Rewriting and Applications (RTA 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 16th International Conference on Term Rewriting and Applications (RTA 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)
- Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005)
- 2004
- Proceedings of the Fourth International Conference on Integrated Formal Methods (IFM 2004)
- Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 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 14th International Conference on Rewriting Techniques and Applications (RTA 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)
- Proceedings of the Sixth International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002)
- 2001
- Proceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity (FME 2001)
- Proceedings of the 12th International Conference on Rewriting Techniques and Applications (RTA 2001)
- Proceedings of the Fifth International Conference on Typed Lambda Calculi and Applications (TLCA 2001)
- 2000
- Proceedings of the Second International Conference on Integrated Formal Methods (IFM 2000)
- Proceedings of the 11th International Conference on Rewriting Techniques and Applications (RTA 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)
- Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA 1999)
- Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1999)
- 1998
- Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 1998)
- Proceedings of the Ninth International Conference on Rewriting Techniques and Applications (RTA 1998)
- 1997
- Proceedings of the Fourth International Symposium of Formal Methods Europe: Industrial Applications and Strengthened Foundations of Formal Methods (FME 1997)
- Proceedings of the Eighth International Conference on Rewriting Techniques and Applications (RTA 1997)
- Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1997)
- 1996
- Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods (FME 1996)
- Proceedings of the Seventh International Conference on Rewriting Techniques and Applications (RTA 1996)
- 1995
- Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (RTA 1995)
- Proceedings of the Second International Conference on Typed Lambda Calculi and Applications (TLCA 1995)
- 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)
- Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (RTA 1993)
- Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA 1993)
- 1991
- Proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA 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)
- 1989
- Proceedings of the Third International Conference on Rewriting Techniques and Applications (RTA 1989)
- 1988
- Proceedings of the Second European Symposium on Vienna Development Method: The Way Ahead (VDM Europe 1988)
- 1987
- Proceedings of the Second International Conference on Rewriting Techniques and Applications (RTA 1987)
- Proceedings of the First European Symposium on Vienna Development Method: A Formal Method at Work (VDM Europe 1987)
- 1985
- Proceedings of the First International Conference on Rewriting Techniques and Applications (RTA 1985)
- 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)