| 1 |
FME 2001: Formal Methods for Increasing Software Productivity electronic resource : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings / edited by Jose N. Oliveira, Pamela Zave
|
Germany) International Symposium of Formal Methods Europe Berlin
|
uuuu-uuuu |
Okänt |
| 2 |
FME 2002: Formal Methods - Getting IT Right electronic resource : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / edited by Lars-Henrik Eriksson, Peter A. Lindsay
|
Denmark) International Symposium of Formal Methods Europe Copenhagen
|
uuuu-uuuu |
Okänt |
| 3 |
FM 2009: Formal Methods electronic resource : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / edited by Ana Cavalcanti, Dennis Dams
|
Netherlands) 2009 : (16th International Symposium of Formal Methods Europe Eindhoven
|
uuuu-uuuu |
Okänt |
| 4 |
"FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings"
|
International Symposium of Formal Methods Europe
|
2006 |
Okänt |
| 5 |
"FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings"
|
International Symposium of Formal Methods Europe
|
2008 |
Okänt |
| 6 |
"FM 2009: Formal Methods: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings"
|
International Symposium of Formal Methods Europe
|
2009 |
Okänt |
| 7 |
"FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings"
|
International Symposium of Formal Methods Europe
|
2012 |
Okänt |
| 8 |
"FME 2001 : formal methods for increasing software productivity : 10th International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings"
|
International Symposium of Formal Methods Europe
|
2001 |
Okänt |
| 9 |
"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
|
2002 |
Okänt |
| 10 |
"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
|
1993 |
Okänt |
| 11 |
FME '94: Industrial Benefit of Formal Methods electronic resource : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran
|
International Symposium of Formal Methods Europe
|
uuuu-uuuu |
Okänt |
| 12 |
"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
|
1996 |
Okänt |
| 13 |
FME '96: Industrial Benefit and Advances in Formal Methods electronic resource : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. / edited by Marie-Claude Gaudel, James Woodcock
|
International Symposium of Formal Methods Europe
|
uuuu-uuuu |
Okänt |
| 14 |
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods electronic resource : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas
|
International Symposium of Formal Methods Europe
|
uuuu-uuuu |
Okänt |
| 15 |
"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
|
1997 |
Okänt |
| 16 |
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
|
Ont.) 2006 : (14th International Symposium of Formal Methods Europe Hamilton
|
uuuu-uuuu |
Okänt |
| 17 |
FM 2011: Formal Methods electronic resource : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings / edited by Michael Butler, Wolfram Schulte
|
Ireland) 2011 : (17th International Symposium of Formal Methods Europe Limerick
|
uuuu-uuuu |
Okänt |
| 18 |
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
|
England) 2005 : (13th International Symposium of Formal Methods Europe Newcastle upon Tyne
|
uuuu-uuuu |
Okänt |
| 19 |
FME '93: Industrial-Strength Formal Methods electronic resource : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings / edited by James C.P. Woodcock, Peter G. Larsen
|
Denmark) 1993 : (1st International Symposium of Formal Methods Europe Odense
|
uuuu-uuuu |
Okänt |
| 20 |
FM 2012: Formal Methods electronic resource : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Mery
|
France) 2012 : (18th International Symposium of Formal Methods Europe Paris
|
uuuu-uuuu |
Okänt |