FMCO (Symposium) Leiden, Netherlands), SpringerLink (Online service), & Boer, F. S. d. (2003). Formal methods for components and objects: First international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures. Springer-Verlag.
Chicago Style (17th ed.) CitationFMCO (Symposium) Leiden, Netherlands), SpringerLink (Online service), and Frank S. de Boer. Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : Revised Lectures. Berlin ; New York: Springer-Verlag, 2003.
MLA (9th ed.) CitationFMCO (Symposium) Leiden, Netherlands), et al. Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : Revised Lectures. Springer-Verlag, 2003.