FMCO 2003 (2003 Leiden, Netherlands)

• Formal methods for components and objects