Suchergebnisse

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

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

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

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 Michael Butler, Michael G. Hinchey, Mar

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, Shaoying Liu, Tom Maibaum, Keijiro Araki

edited by Toshiaki Aoki, Kenji Taguchi

edited by George Eleftherakis, Mike Hinchey, Mike Holcombe

edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti

edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider

edited by Radu Calinescu, Bernhard Rumpe

edited by Dimitra Giannakopoulou, Gwen Salaün

edited by Steve Counsell, Manuel Núñez

edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani

edited by Jin Song Dong, Huibiao Zhu

edited by Rajeev Joshi, Peter Müller, Andreas Podelski

edited by Shengchao Qin, Zongyan Qiu

edited by Ernie Cohen, Andrey Rybalchenko

edited by Bertrand Meyer, Jim Woodcock