Symposium of Formal Methods (FM)
(brand of FM)1 × Austria
1 × Canada
2 × Denmark
1 × Finland
3 × France
2 × Germany
1 × Ireland
1 × Italy
1 × Norway
1 × Singapore
1 × Spain
1 × The Netherlands
2 × United Kingdom
117 ×#verification
100 ×#specification
85 ×#formal method
65 ×#using
50 ×#model checking
47 ×#analysis
45 ×#modelling
45 ×#refinement
40 ×#case study
35 ×#design
Vocabulary: 1146 words
894 papers in 21 issues:
- 2019
Third World Congress on Formal Methods: The Next 30 Years (FM 2019)- 2018
- Proceedings of the 22nd International Symposium of Formal Methods (FM 2018)
- 2016
- Proceedings of the 21st International Symposium of Formal Methods (FM 2016)
- 2015
- Proceedings of the 20th International Symposium of Formal Methods (FM 2015)
- 2014
- Proceedings of the 19th International Symposium of Formal Methods (FM 2014)
- 2012
- Proceedings of the 18th International Symposium of Formal Methods (FM 2012)
- 2011
- Proceedings of the 17th International Symposium of Formal Methods (FM 2011)
- 2009
- Proceedings of the 16th International Symposium of Formal Methods: Second World Congress (FM 2009)
- 2008
- Proceedings of the 15th International Symposium of Formal Methods (FM 2008)
- 2006
- Proceedings of the 14th International Symposium of Formal Methods (FM 2006)
- 2005
- Proceedings of the 13th International Symposium of Formal Methods Europe (FM 2005)
- 2003
- Proceedings of the 12th International Symposium of Formal Methods Europe (FME 2003)
- 2002
- Proceedings of the 11th International Symposium of Formal Methods Europe: Getting IT Right (FME 2002)
- 2001
- Proceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity (FME 2001)
- 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)
- 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)
- 1979
- The Use of Formal Specification of Software (FSS 1979)
1 × Canada
2 × Denmark
1 × Finland
3 × France
2 × Germany
1 × Ireland
1 × Italy
1 × Norway
1 × Singapore
1 × Spain
1 × The Netherlands
2 × United Kingdom
117 ×#verification
100 ×#specification
85 ×#formal method
65 ×#using
50 ×#model checking
47 ×#analysis
45 ×#modelling
45 ×#refinement
40 ×#case study
35 ×#design
Vocabulary: 1146 words
Third World Congress on Formal Methods: The Next 30 Years (FM 2019)Proceedings of the 22nd International Symposium of Formal Methods (FM 2018)Proceedings of the 21st International Symposium of Formal Methods (FM 2016)Proceedings of the 20th International Symposium of Formal Methods (FM 2015)Proceedings of the 19th International Symposium of Formal Methods (FM 2014)Proceedings of the 18th International Symposium of Formal Methods (FM 2012)Proceedings of the 17th International Symposium of Formal Methods (FM 2011)Proceedings of the 16th International Symposium of Formal Methods: Second World Congress (FM 2009)Proceedings of the 15th International Symposium of Formal Methods (FM 2008)Proceedings of the 14th International Symposium of Formal Methods (FM 2006)Proceedings of the 13th International Symposium of Formal Methods Europe (FM 2005)Proceedings of the 12th International Symposium of Formal Methods Europe (FME 2003)Proceedings of the 11th International Symposium of Formal Methods Europe: Getting IT Right (FME 2002)Proceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity (FME 2001)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 International Workshop on Current Trends in Applied Formal Methods (FM-Trends 1998)Proceedings of the Fourth International Symposium of Formal Methods Europe: Industrial Applications and Strengthened Foundations of Formal Methods (FME 1997)Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods (FME 1996)Proceedings of the Second International Symposium of Formal Methods Europe: Industrial Benefit of Formal Methods (FME 1994)Proceedings of the First International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods (FME 1993)The Use of Formal Specification of Software (FSS 1979)