Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)
Authors:
Frank S. de Boer;Marcello M. Bonsangue;Susanne Graf;Willem-Paul de Roever
Affiliations:
-;-;-;-
Venue:
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)