FM
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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
FMThird World Congress on Formal Methods: The Next 30 Years (FM 2019)
2018
FMProceedings of the 22nd International Symposium of Formal Methods (FM 2018)
2016
FMProceedings of the 21st International Symposium of Formal Methods (FM 2016)
2015
FMProceedings of the 20th International Symposium of Formal Methods (FM 2015)
2014
FMProceedings of the 19th International Symposium of Formal Methods (FM 2014)
2012
FMProceedings of the 18th International Symposium of Formal Methods (FM 2012)
2011
FMProceedings of the 17th International Symposium of Formal Methods (FM 2011)
2009
FMProceedings of the 16th International Symposium of Formal Methods: Second World Congress (FM 2009)
2008
FMProceedings of the 15th International Symposium of Formal Methods (FM 2008)
2006
FMProceedings of the 14th International Symposium of Formal Methods (FM 2006)
2005
FMProceedings of the 13th International Symposium of Formal Methods Europe (FM 2005)
2003
FMProceedings of the 12th International Symposium of Formal Methods Europe (FME 2003)
2002
FMProceedings of the 11th International Symposium of Formal Methods Europe: Getting IT Right (FME 2002)
2001
FMProceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity (FME 2001)
1999
FMProceedings of the World Congress on Formal Methods in the Development of Computing Systems. Volume I (World Congress on Formal Methods 1999)
FMProceedings of the World Congress on Formal Methods in the Development of Computing Systems. Volume II (World Congress on Formal Methods 1999)
1998
FMProceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 1998)
1997
FMProceedings of the Fourth International Symposium of Formal Methods Europe: Industrial Applications and Strengthened Foundations of Formal Methods (FME 1997)
1996
FMProceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods (FME 1996)
1994
FMProceedings of the Second International Symposium of Formal Methods Europe: Industrial Benefit of Formal Methods (FME 1994)
1993
FMProceedings of the First International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods (FME 1993)
1979
FMThe Use of Formal Specification of Software (FSS 1979)

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.