International Conference on Integrated Formal Methods (Q105693432)

13 February 2021

inception

1999

1 reference

13 February 2021

short name

IFM (English)

1 reference

13 February 2021

title

International Conference on Integrated Formal Methods (English)

1 reference

https://www.openresearch.org/wiki/IFM

13 February 2021

described at URL

1 reference

https://www.openresearch.org/wiki/IFM

Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010

13 February 2021

has part(s)

8

1 reference

https://dblp.org/db/conf/ifm/ifm2010.html

Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009

8 March 2021

7

1 reference

https://dblp.org/db/conf/ifm/ifm2009.html

Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007

8 March 2021

6

1 reference

https://dblp.org/db/conf/ifm/ifm2007.html

Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004

8 March 2021

4

1 reference

https://dblp.org/db/conf/ifm/ifm2004.html

Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002

8 March 2021

3

1 reference

https://dblp.org/db/conf/ifm/ifm2002.html

Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012

8 March 2021

9

1 reference

https://dblp.org/db/conf/ifm/ifm2012.html

Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005

8 March 2021

5

1 reference

https://dblp.org/db/conf/ifm/ifm2005.html

Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000

8 March 2021

2

1 reference

https://dblp.org/db/conf/ifm/ifm2000.html

8 March 2021

Identifiers

VIAF ID

138559673

1 reference

Virtual International Authority File

2 March 2021

reason for deprecated rank

1 reference

3 March 2021

0 references

Library of Congress authority ID

n99033832

1 reference

Integrated Authority File

3 March 2021

1 reference

13 February 2021

Microsoft Academic ID

1 reference

Microsoft Academic Graph (English)

DOI

10.5281/ZENODO.2628216

University of Barcelona authority ID

13 February 2021

981058522279106706

0 references

WikiCFP conference series ID

1544

1 reference