3Rd International Symposium on Formal Methods for Components and Objects, Date: NOV 02-05, 2004, Location: Leiden, NETHERLANDS, Patrocinadores: Dutch Org Sci Res, European Project IST 2001 33522 Omega, Lorentz Ctr, Royal Netherlands Acad Arts & Sci, Dutch Inst Programming Res & Algorithm, Centrum Wiskunde Informat, Leiden Inst Adv Comp Sci