8 treff

International Symposium of Formal Methods Europe
FM 2005 : formal methods : International Symposium of Formal MethodsEurope, Newcastle, UK, July 18-22, 2005 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2005
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2003
FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2001
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 1994
FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2002
FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 1993
FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 1997
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
International Symposium of Formal Methods Europe
Bok Engelsk 1996