المؤلفون: Plosila, J.^Aff8, Sere, K.^Aff9, Waldén, M.^{Aff9, Aff10}

المساهمون: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, de Boer, Frank S., editor^Aff4, Bonsangue, Marcello M., editor^Aff5, Graf, Susanne, editor^Aff6, de Roever, Willem-Paul, editor^Aff7

المصدر: Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. 2852:424-442

المؤلفون: Sere, K.^Aff1, Waldén, M.^Aff1

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Abadi, Martín, editor, Ito, Takayasu, editor

المصدر: Theoretical Aspects of Computer Software : Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings. 1281:267-294

المؤلفون: Goeman, H. J. M.^Aff1, Kok, J. N.^Aff1, Sere, K.^Aff2, Udink, R. T.^Aff3

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Ciancarini, Paolo, editor, Hankin, Chris, editor

المصدر: Coordination Languages and Models : First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings. 1061:215-230

المؤلفون: Kasurinen, V.^Aff1, Sere, K.^Aff1

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Gaudel, Marie-Claude, editor, Woodcock, James, editor

المصدر: 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. 1051:105-119

المؤلفون: Waidén, M.^Aff1, Sere, K.^Aff2

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Gaudel, Marie-Claude, editor, Woodcock, James, editor

المصدر: 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. 1051:85-104

المؤلفون: Back, R. J. R.^Aff1, Martin, A. J.^Aff2, Sere, K.^Aff3

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Möller, Bernhard, editor

المصدر: Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings. 947:159-179

المؤلفون: Back, R. J. R.^Aff1, Sere, K.^Aff2

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Naftalin, Maurice, editor, Denvir, Tim, editor, Bertran, Miquel, editor

المصدر: FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings. 873:1-25

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.