Integrated Formal Methods (IFM)
(brand of FM)2 × Finland
1 × France
2 × Germany
2 × Italy
1 × The Netherlands
3 × United Kingdom
50 ×#verification
44 ×#specification
30 ×#modelling
21 ×#using
18 ×#process
17 ×#csp
17 ×#model checking
17 ×#semantics
14 ×#behaviour
14 ×#composition
Vocabulary: 571 words
399 papers in 15 issues:
- 2019
Proceedings of the 15th International Conference on Integrated Formal Methods (IFM 2019)- 2018
- Proceedings of the 14th International Conference on Integrated Formal Methods (IFM 2018)
- 2017
- Proceedings of the 13th International Conference on Integrated Formal Methods (IFM 2017)
- 2016
- Proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016)
- 2014
- Proceedings of the 11th International Conference on Integrated Formal Methods (IFM 2014)
- 2013
- Proceedings of the 10th International Conference on Integrated Formal Methods (IFM 2013)
- 2012
- Proceedings of the Ninth International Conference on Integrated Formal Methods (IFM 2012)
- 2010
- Proceedings of the Eighth International Conference on Integrated Formal Methods (IFM 2010)
- 2009
- Proceedings of the Seventh International Conference on Integrated Formal Methods (IFM 2009)
- Selected papers on Integrated Formal Methods (iFM09) (IFM 2009)
- 2007
- Proceedings of the Sixth International Conference on Integrated Formal Methods (IFM 2007)
- 2005
- Proceedings of the Fifth International Conference on Integrated Formal Methods (IFM 2005)
- 2004
- Proceedings of the Fourth International Conference on Integrated Formal Methods (IFM 2004)
- 2002
- Proceedings of the Third International Conference on Integrated Formal Methods (IFM 2002)
- 2000
- Proceedings of the Second International Conference on Integrated Formal Methods (IFM 2000)
- 1999
- Proceedings of the First International Conference on Integrated Formal Methods (IFM 1999)
1 × France
2 × Germany
2 × Italy
1 × The Netherlands
3 × United Kingdom
50 ×#verification
44 ×#specification
30 ×#modelling
21 ×#using
18 ×#process
17 ×#csp
17 ×#model checking
17 ×#semantics
14 ×#behaviour
14 ×#composition
Vocabulary: 571 words
Proceedings of the 15th International Conference on Integrated Formal Methods (IFM 2019)Proceedings of the 14th International Conference on Integrated Formal Methods (IFM 2018)Proceedings of the 13th International Conference on Integrated Formal Methods (IFM 2017)Proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016)Proceedings of the 11th International Conference on Integrated Formal Methods (IFM 2014)Proceedings of the 10th International Conference on Integrated Formal Methods (IFM 2013)Proceedings of the Ninth International Conference on Integrated Formal Methods (IFM 2012)Proceedings of the Eighth International Conference on Integrated Formal Methods (IFM 2010)Proceedings of the Seventh International Conference on Integrated Formal Methods (IFM 2009)Selected papers on Integrated Formal Methods (iFM09) (IFM 2009)Proceedings of the Sixth International Conference on Integrated Formal Methods (IFM 2007)Proceedings of the Fifth International Conference on Integrated Formal Methods (IFM 2005)Proceedings of the Fourth International Conference on Integrated Formal Methods (IFM 2004)Proceedings of the Third International Conference on Integrated Formal Methods (IFM 2002)Proceedings of the Second International Conference on Integrated Formal Methods (IFM 2000)Proceedings of the First International Conference on Integrated Formal Methods (IFM 1999)