International Symposium of Formal Methods Europe
Formal methods Europe, International symposium
VIAF ID: 149934154 ( Corporate )
Permalink: http://viaf.org/viaf/149934154
Preferred Forms
- 210 | | ‡a Formal methods Europe ‡b International symposium
-
-
-
- 111 2 _ ‡a International Symposium of Formal Methods Europe
- 110 2 _ ‡a International Symposium of Formal Methods Europe
-
- 111 2 _ ‡a International Symposium of Formal Methods Europe
4xx's: Alternate Name Forms (18)
5xx's: Related Names (3)
- 511 2 _ ‡a International Symposium on Formal Methods ‡y Gjelder fra 2006
- 511 2 _ ‡a VDM (Symposium)
- 511 2 _ ‡a World Congress on Formal Methods in the Development of Computing Systems
Works
Title | Sources |
---|---|
FM 2005, c2005: | |
FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings | |
FME 2002, c2002: | |
FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings | |
FME' 93, c1993: | |
Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings |