著者典拠情報

著者標目形：
International Symposium of Formal Methods Europe
属性：
Meeting
場所：
Odense, Denmark;Oxford, UK;Graz, Austria;Berlin
日付：
1993;1996;1997;2001
から見よ参照形：
FME
Symposium of Formal Methods Europe, International
注記：
Its (1st : 1993 : Odense, Denmark). FME' 93, c1993: CIP t.p. (First International Symposium of Formal Methods Europe, Odense, Denmark, 04/19-23/93)
EDSRC:FME '96, c1996: t.p. (Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996)
EDSRC:FME '97, c1997: t.p. (4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997)
EDSRC:FME 2001: t.p. (International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001) pref. (FME 2001 is the tenth in a series of meetings) spine (FME 2001)
著者典拠ID：
DA07237890


1.

図書
図書
1. FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
José Nuno Oliveira, Pamela Zave (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2021
所蔵情報: 図書館
2.

図書
図書
2. FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
Marie-Claude Gaudel, James Woodcock, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1051
所蔵情報: 図書館
3.

図書
図書
3. FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings (: gw ; : us)
Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 873
所蔵情報: 図書館