International Conference on Integrated Formal Methods
IFM 2000
VIAF ID: 138559673 ( Corporate )
Permalink: http://viaf.org/viaf/138559673
Preferred Forms
-
-
-
- 111 2 _ ‡a International Conference on Integrated Formal Methods
-
- 110 2 _ ‡a International Conference on Integrated Formal Methods
- 111 2 _ ‡a International Conference on Integrated Formal Methods
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
IFM '99, 1999: | |
Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings |