Suchergebnisse

10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27 - 31, 2008. Shaoying Liu ... (ed.)

FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.)

7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005. Kung-Kiu Lau ... (eds.)

FM 2005, International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005. John Fitzgerald ... (eds.)

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14 - 15, 2007. Michael Butler ...(eds.)

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006. Zhiming Liu ... (eds.)

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004. Jim Davies ... (eds.)

International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (eds.)

FMCAD 2000, Austin, TX, USA, November 2000. Warren A. Hunt ... (ed.)

FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000. Warren A. Hunt, jr. ... (ed.)

VSTTE 2008, Toronto, Canada, October 6 - 9, 2008. Natarajan Shankar ... (ed.)

ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004. Tiziana Margaria ... (ed.)

edited by Axel Legay, Saddek Bensalem

VMCAI 2004, Venice, Italy, January 11 - 13, 2004. Bernhard Steffen ... (eds.)

edited by Jacques Garrigue

edited by Warren A. Hunt, Steven D. Johnson

edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski

Jayadev Misra ... (Eds.)

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Natarajan Shankar, Jim Woodcock

edited by Jim Davies, Wolfram Schulte, Mike Barnett