Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures

Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem P. de Roever Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures 3188 3-540-22942-6 FMCO Lecture Notes in Computer Science Springer 2004 db/conf/fmco/fmco2003.html