Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures (Q1416838)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures |
scientific article |
Statements
Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures (English)
0 references
16 December 2003
0 references
Formal methods for components
0 references
Formal methods for objects
0 references
FMCO 2002
0 references
Leiden (The Netherlands)
0 references
