Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures (Q1416838)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures |
scientific article; zbMATH DE number 2018365
| 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; zbMATH DE number 2018365 |
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
0.9813081
0 references
0.97715175
0 references
0.9648833
0 references
0.9557824
0 references
0.95504135
0 references
0.95383584
0 references
0.9521918
0 references
0.9453708
0 references
0.93844044
0 references
0.9337608
0 references
