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)