Software Engineering and Formal Methods (SEFM)
(brand of FM)1 × Australia
1 × China
1 × France
1 × Germany
1 × Greece
1 × India
1 × Italy
1 × South Africa
1 × Spain
2 × United Kingdom
1 × Uruguay
1 × Vietnam
82 ×#verification
49 ×#using
39 ×#modelling
38 ×#testing
36 ×#specification
35 ×#formal method
27 ×#analysis
21 ×#approach
21 ×#behaviour
21 ×#model checking
Vocabulary: 817 words
522 papers in 17 issues:
- 2019
Proceedings of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019)- 2018
- Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM 2018)
- 2017
- Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017)
- 2016
- Proceedings of the 14th International Conference on Software Engineering and Formal Methods (SEFM 2016)
- 2015
- Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015)
- 2014
- Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014)
- 2013
- Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013)
- 2012
- Proceedings of the 10th International Conference on Software Engineering and Formal Methods (SEFM 2012)
- 2011
- Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM 2011)
- 2010
- Proceedings of the Eighth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)
- 2009
- Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009)
- 2008
- Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008)
- 2007
- Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
- 2006
- Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006)
- 2005
- Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)
- 2004
- Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004)
- 2003
- Proceedings of the First International Conference on Software Engineering and Formal Methods (SEFM 2003)
1 × China
1 × France
1 × Germany
1 × Greece
1 × India
1 × Italy
1 × South Africa
1 × Spain
2 × United Kingdom
1 × Uruguay
1 × Vietnam
82 ×#verification
49 ×#using
39 ×#modelling
38 ×#testing
36 ×#specification
35 ×#formal method
27 ×#analysis
21 ×#approach
21 ×#behaviour
21 ×#model checking
Vocabulary: 817 words
Proceedings of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019)Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM 2018)Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017)Proceedings of the 14th International Conference on Software Engineering and Formal Methods (SEFM 2016)Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015)Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014)Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013)Proceedings of the 10th International Conference on Software Engineering and Formal Methods (SEFM 2012)Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM 2011)Proceedings of the Eighth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009)Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008)Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006)Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004)Proceedings of the First International Conference on Software Engineering and Formal Methods (SEFM 2003)