Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem P. de Roever Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures FMCO Lecture Notes in Computer Science 2852 Springer 2003 3-540-20303-6 db/conf/fmco/fmco2002.html