Special issue: Formal methods for components and objects. Selected and extended papers based on the presentations at the 3rd international symposium on formal methods for components and objects (FMCO), Leiden, The Netherland, November 2--5, 2004. (Q851703)
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: Special issue: Formal methods for components and objects. Selected and extended papers based on the presentations at the 3rd international symposium on formal methods for components and objects (FMCO), Leiden, The Netherland, November 2--5, 2004. |
scientific article; zbMATH DE number 5074777
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: Formal methods for components and objects. Selected and extended papers based on the presentations at the 3rd international symposium on formal methods for components and objects (FMCO), Leiden, The Netherland, November 2--5, 2004. |
scientific article; zbMATH DE number 5074777 |
Statements
Special issue: Formal methods for components and objects. Selected and extended papers based on the presentations at the 3rd international symposium on formal methods for components and objects (FMCO), Leiden, The Netherland, November 2--5, 2004. (English)
0 references
2006
0 references
